From: Michael Orlitzky Date: Tue, 16 Jul 2019 22:59:59 +0000 (-0400) Subject: mjo-convex: add \faceof and \properfaceof. X-Git-Url: http://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=1b921ba1f02499f5784ddb87fd59c0621255042c;hp=1b921ba1f02499f5784ddb87fd59c0621255042c;p=mjotex.git mjo-convex: add \faceof and \properfaceof. ---