employer/tame - tame - Mike Gerwitz's Forge

employer

tame

Fork 0

Commit Graph

Author	SHA1	Message	Date
Mike Gerwitz	1ad6bc93d7	design/tpl (Meta: Typesetting): Correct use of \tameclass That macro previously expanded into \Classify, but that was undone before committing to make it clear when one is referring to a variable vs. a classification as a definition.	2021-05-11 16:52:03 -04:00
Mike Gerwitz	9d9535a1b8	design/tpl: Introduce \Classify mathop This will be used as an IR of sorts to eliminate the XML, which will be far too verbose to use in proofs. It also allows us to attach behavior to the operator, which will end up defining two values for @as and @yields.	2021-05-11 16:37:08 -04:00

Author

SHA1

Message

Date

Mike Gerwitz

1ad6bc93d7

design/tpl (Meta: Typesetting): Correct use of \tameclass

That macro previously expanded into \Classify, but that was undone before
committing to make it clear when one is referring to a variable vs. a
classification as a definition.

2021-05-11 16:52:03 -04:00

Mike Gerwitz

9d9535a1b8

design/tpl: Introduce \Classify mathop

This will be used as an IR of sorts to eliminate the XML, which will be far
too verbose to use in proofs.  It also allows us to attach behavior to the
operator, which will end up defining two values for @as and @yields.

2021-05-11 16:37:08 -04:00

2 Commits (c0e5b1d750f692266d2ad5268f3c8d63d92d16dc)