mirror of
https://github.com/thufschmitt/tix-papers.git
synced 2024-08-16 16:20:47 +03:00
Make chktex happy on the header
This commit is contained in:
parent
3547c7f43d
commit
dcb5c94602
@ -15,7 +15,7 @@
|
||||
|
||||
\usepackage{listings}
|
||||
\lstset{%
|
||||
escapeinside={(*}{*)}
|
||||
escapeinside={//*}{*//}
|
||||
}
|
||||
|
||||
\usepackage{hyperref}
|
||||
@ -76,8 +76,8 @@
|
||||
\newcommand{\subtype}{\leq}
|
||||
\newcommand{\onerec}{\{ \textbf{..} \}}
|
||||
\DeclareCollectionInstance{plainmath}{xfrac}{mathdefault}{math}
|
||||
{
|
||||
slash-symbol = \sslash
|
||||
{%
|
||||
slash-symbol = \sslash{}
|
||||
}
|
||||
\newcommand{\ofTypeP}[2]{\UseCollection{xfrac}{plainmath}\sfrac{#1}{#2}}
|
||||
|
||||
|
@ -120,7 +120,7 @@ operator, so that the litteral expression
|
||||
is syntactic sugar for
|
||||
|
||||
\begin{lstlisting}
|
||||
{ x1 = e1; } (*$\orthplus$*) ... (*$\orthplus$*) { xn = en; }
|
||||
{ x1 = e1; } //*$\orthplus$*// ... //*$\orthplus$*// { xn = en; }
|
||||
\end{lstlisting}
|
||||
|
||||
We also define a $\orthsum_t$ (orthogonal merge) operator between record type
|
||||
|
Loading…
Reference in New Issue
Block a user