1
vote
1answer
60 views

TeX capacity exceeded + Semantics package [closed]

I get the following error: ! TeX capacity exceeded, sorry [input stack size=5000]. \do #1#2#3->\mathcode `#1 ="8000 l.14 ..._{1}\; a_{2} -> v_{2}}{a_{1} - a_{2} -> v} ! ...
6
votes
2answers
310 views

What are semantically correct alternatives to \text in math mode?

I have used \text{something} several times in math mode. The result is rendered like I want it to be rendered, but I think this might not the best way to do it in LaTeX. What I currently do ...
10
votes
3answers
8k views

\bar vs. \overline - when to use what, semantically?

Following the question "The \bar and \overline commands" which is simply about the lengths of both, I'd like to know when to use \bar and when to use \overline from a semantically viewpoint. I always ...
24
votes
4answers
3k views

Numbers outside Math environment

Should numbers inside the text be placed inside a math environment? For example, if I am writing ...indent code by 4 spaces..., should I write it this way or ...indent code by $4$ spaces...? ...
6
votes
3answers
266 views

Math mode commands with more semantics?

I accustomed myself to define my own little macros for any mathematical expression I use frequently. For example, I have a macro for the expected value of a random variable: ...
5
votes
1answer
599 views

Inserting arrays into semantic's inference rules

I want to typeset inference rules containing tables (or arrays) in the premises. I'm using the semantic package, which sets the premises (and conclusion) in math mode, so I thought this might work: ...