# Tag Info

8

Add a pair of brackets around the colon, and put type inside a \text command. Alternatively, you can use \colon which looks better, in my opinion: $\begin{array}{l} s: \text{type}\\ s{:}\text{type} \\ s\colon \text{type} \end{array}$

7

The colon : is declared by LaTeX as a binary relation, which means it is separated from ordinary symbols by a thick mathematical space. The \colon command makes a punctuation symbol, so no space before it and a medium math space after it. However amsmath slightly changes colon to have some space before it and some more than a punctuation symbol after it. ...

4


Only top voted, non community-wiki answers of a minimum length are eligible