added 72 characters in body
Source Link
Werner
  • 557.1k
  • 115
  • 1295
  • 2126

You can "protect" the array from the \inference construction by using braces:

enter image description here

\documentclass{article}
\usepackage{semantic}% http://ctan.org/pkg/semantic
\newcommand{\expr}{\texttt}
\begin{document}
\inference{\expr{axis} \in \left\{
    {\begin{array}{l}
    \expr{child}\\ \expr{descendant}
    \end{array}}
\right\} }{conclusion}
\end{document}​

The reason for this being a problem is because, in a nested way, the \inference macro processes the premises (first argument) expecting a \\; actually, it expects <something>\\<something>\end, and the \\ in your array construction conflicts with this definition.

In this instance, you could also replace \\ with \cr to remove the conflict usage.

You can "protect" the array from the \inference construction by using braces:

enter image description here

\documentclass{article}
\usepackage{semantic}% http://ctan.org/pkg/semantic
\newcommand{\expr}{\texttt}
\begin{document}
\inference{\expr{axis} \in \left\{
    {\begin{array}{l}
    \expr{child}\\ \expr{descendant}
    \end{array}}
\right\} }{conclusion}
\end{document}​

The reason for this being a problem is because, in a nested way, the \inference macro processes the premises (first argument) expecting a \\; actually, it expects <something>\\<something>\end, and the \\ in your array construction conflicts with this definition.

You can "protect" the array from the \inference construction by using braces:

enter image description here

\documentclass{article}
\usepackage{semantic}% http://ctan.org/pkg/semantic
\newcommand{\expr}{\texttt}
\begin{document}
\inference{\expr{axis} \in \left\{
    {\begin{array}{l}
    \expr{child}\\ \expr{descendant}
    \end{array}}
\right\} }{conclusion}
\end{document}​

The reason for this being a problem is because, in a nested way, the \inference macro processes the premises (first argument) expecting a \\; actually, it expects <something>\\<something>\end, and the \\ in your array construction conflicts with this definition.

In this instance, you could also replace \\ with \cr to remove the conflict usage.

added 274 characters in body
Source Link
Werner
  • 557.1k
  • 115
  • 1295
  • 2126

You can "protect" the array from the \inference construction by using braces:

enter image description here

\documentclass{article}
\usepackage{semantic}% http://ctan.org/pkg/semantic
\newcommand{\expr}{\texttt}
\begin{document}
\inference{\expr{axis} \in \left\{
    {\begin{array}{l}
    \expr{child}\\ \expr{descendant}
    \end{array}}
\right\} }{conclusion}
\end{document}​

The reason for this being a problem is because, in a nested way, the \inference macro processes the premises (first argument) expecting a \\; actually, it expects <something>\\<something>\end, and the \\ in your array construction conflicts with this definition.

You can "protect" the array from the \inference construction by using braces:

enter image description here

\documentclass{article}
\usepackage{semantic}% http://ctan.org/pkg/semantic
\newcommand{\expr}{\texttt}
\begin{document}
\inference{\expr{axis} \in \left\{
    {\begin{array}{l}
    \expr{child}\\ \expr{descendant}
    \end{array}}
\right\} }{conclusion}
\end{document}​

You can "protect" the array from the \inference construction by using braces:

enter image description here

\documentclass{article}
\usepackage{semantic}% http://ctan.org/pkg/semantic
\newcommand{\expr}{\texttt}
\begin{document}
\inference{\expr{axis} \in \left\{
    {\begin{array}{l}
    \expr{child}\\ \expr{descendant}
    \end{array}}
\right\} }{conclusion}
\end{document}​

The reason for this being a problem is because, in a nested way, the \inference macro processes the premises (first argument) expecting a \\; actually, it expects <something>\\<something>\end, and the \\ in your array construction conflicts with this definition.

Source Link
Werner
  • 557.1k
  • 115
  • 1295
  • 2126

You can "protect" the array from the \inference construction by using braces:

enter image description here

\documentclass{article}
\usepackage{semantic}% http://ctan.org/pkg/semantic
\newcommand{\expr}{\texttt}
\begin{document}
\inference{\expr{axis} \in \left\{
    {\begin{array}{l}
    \expr{child}\\ \expr{descendant}
    \end{array}}
\right\} }{conclusion}
\end{document}​