4 ms·
Sorry I haven't thought of a good solution for that yet, but if you really want to write a / you can do: "x text{/} 3"
by wenqin123 10y ago
Sorry I haven't thought of a good solution for that yet, but if you really want to write a / you can do: "x text{/} 3"
- wjn0 10y agoMaybe some simple quoting scheme for "literals"?