Timeline for How to get monospace logic formulas?
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 2, 2011 at 11:09 | comment | added | user3297 | Thanks! I completely forgot about \mathtt. I am not completely happy with this because it's not fixed-width: In particular the parentheses are too narrow and the \land is even spaced as an operator. But I guess I can combine this with \texttt and create special commands for the operators to get the spacing approximately right. | |
| Feb 2, 2011 at 11:01 | history | answered | user2478 | CC BY-SA 2.5 |