[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Is there any way to typeset the a % b operator as \pmod{b}?

Been playing around with the tla2tex.TLA tool. I think it would be cool to have a % b typeset as a \pmod{b}. Is there a built-in way to do this or is editing the raw tex the way to go?


You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/c63b3ceb-23be-4f81-825b-e978c6e55123n%40googlegroups.com.