1

I receive the following error message on Share Latex

<argument> \,\multimap 
                   \,
l.241 \end{exe}}

The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

when I create a file with the code below:

\documentclass[25pt,a1paper]{tikzposter}
\usepackage{graphicx}
\graphicspath{{/home/Darrin/Downloads}}
\usetheme{Rays}
\usepackage{lipsum}
\usepackage{multicol}
\usepackage{subfig}
\usetheme{Madrid} 
\usepackage{comment}
\newenvironment{variableblock}[3]{%
  \setbeamercolor{block body}{#2}
  \setbeamercolor{block title}{#3}
  \begin{block}{#1}}{\end{block}}

  \usepackage{tikz-qtree}

  \usepackage{booktabs}

  \usepackage{multicol}

  \usepackage{amsfonts,amsmath,braket}


  \newcommand{\interp}[2][]{
    \(
    \left\llbracket\,\text{#2}\,\right\rrbracket^{#1}
    \)
    }

\newcommand{\den}[1]{
\(
\left[\,\text{#1}\,\right]
\)
}

\newcommand{\argum}[1]{
\(
\left(\,\text{#1}\,\right)
\)
}

\newcommand{\ceil}[2][]{

\(
\left\lceil\,\text{#2}\,\right\rceil^{#1}
\)
}



\newcommand{\wraptext}[2][1in]{
\begin{varwidth}{#1}{\RaggedRight#2}\end{varwidth}
}



%\usepackage{prooftree} % proofs




\usepackage{tikz-qtree-compat}


\newcommand{\formula}[1]{\ensuremath{\mathit{#1}}}
\newcommand{\vmformula}[3][]{%
  \begin{array}[b]{@{}l}
    \mbox{\textbf{#1}}\\
    \formula{#2:}\\%[-0.5ex]
    \formula{#3}
  \end{array}
}
\newcommand{\mformula}[2]{%
  \begin{array}[b]{@{}l}
   \formula{#1:}\\%[-0.5ex]
    \formula{#2}
  \end{array}
}

\newcommand{\sig}{\mbox{$_\sigma\,$}} % sigma, with space after
\newcommand{\sigb}{\mbox{$_\sigma$}} % sigma, no space after
\newcommand{\upsig}.       {\mbox{\ensuremath{\uparrow\hspace{-0.35em}_\sigma\,}}}
\newcommand{\Upsig}.   {\mbox{\ensuremath{\uparrow\hspace{-0.35em}_\sigma}}}
\newcommand{\upsigb}{\mbox{\ensuremath{\uparrow\hspace{-0.35em}_\sigma}}}
\newcommand{\linimp}{\mbox{\ensuremath{\,\multimap\,}}}
\newcommand{\linimpE}{\mbox{\small\ensuremath{\multimap_{\mathcal{E}}}}}
\newcommand{\linimpIi}[1]{\mbox{\small\ensuremath{\multimap_{{\mathcal{I}},#1}}}} 
\newcommand{\tensor}{\mbox{\ensuremath{\,\otimes\,}}} 
\newcommand{\letE}{\mbox{\small\ensuremath{\mathit{\beta\mbox{-}reduction}}}}
\newcommand{\tensorEij}[2]{\mbox{\small$\otimes_{{\mathcal{E}},#1,#2}$}}
\newcommand{\llet}[3]{\ensuremath{\mathsf{let~}{#1}\mathsf{~be~}{#2}\mathsf{~in~}{#3}}}
\newcommand{\betared}{\ensuremath{\Rightarrow_\beta}}
\newcommand{\type}[1]{\mbox{\ensuremath{\mathit{#1}}\/}}  % type name
\newcommand{\forallE}{\mbox{\small$\forall_{{\mathcal{E}}}$}}

\usetikzlibrary{decorations.pathreplacing,shapes.misc}
\tikzset{
    show control points/.style={
    decoration={show path construction, curveto code={
            \draw [blue, dashed]
                (\tikzinputsegmentfirst) -- (\tikzinputsegmentsupporta)
                node [at end, cross out, draw, solid, red, inner    sep=2pt]{};
            \draw [blue, dashed]
                (\tikzinputsegmentsupportb) -- (\tikzinputsegmentlast)
                node [at start, cross out, draw, solid, red, inner    sep=2pt]{};
        }
    },
    postaction=decorate
    },
}

\usepackage[normalem]{ulem}
\usepackage{stmaryrd}  


\usepackage{xcolor,mdframed}

%\setbeamertemplate{theorems}[numbered]

\newtheorem{axiom}{Axiom}

\usepackage{gb4e}


\begin{document}
\title{HMMMMMMMM}
\author{hmmmm}
\maketitle

\begin{columns}
%COLUMN1
\column{.65}
%block.a
\block{Oh my }{
Oh my 
\bigskip \\
\coloredbox{\begin{itemize}
\item Oh my 
\item Oh my 
\end{itemize}}
\lipsum[2]
\bigskip
\innerblock{oh my }
{\begin{center}
$1 +1 = 2$  
\end{center}
 }
}
%block.b
\block{Oh my } {\lipsum[1]
}
%COLUMN2
\column{.35}
\block{Oh my }
{%\includegraphics[width=\linewidth]{chairs}


 }




\end{columns}
\block{Oh}{\begin{exe}

\ex 
\begin{tikzpicture}[baseline=(current bounding box.center), every tree    node/.style={align=center,anchor=north}, level distance = 18ex, scale= .5]   
    \Tree [.{$Prove (h, \mathbf{\neg Inductive_{h} (the.primes_{h})} : t     $} [.{$\sigma: i$} ] [.{$\eta \,(Prove (h, \mathbf{\neg Inductive_{h} (the.primes_{h}))}: \Diamond t   $} \edge node[auto=left] {$\eta$};  [.   {$Prove (h, \neg \lambda j. \left\{
                \begin{array}{ll}
                \mathbf{Inductive_{\mathtt{h}}\Bigg(\lambda i. \left\{
                \begin{array}{ll}
                \mathbf{the.primes}_{\mathtt{h}}& \text{if }i =\mathtt{h} \\
                \mathbf{the.primes}_{\sigma}& \text{if } i=\sigma
                \end{array}
                \right.h\Bigg)}& \text{if }j =\mathtt{h} \\
                \mathbf{Inductive_{\mathtt{\sigma}}\Bigg(\lambda i. \left\{
                \begin{array}{ll}
                \mathbf{the.primes}_{\mathtt{h}}& \text{if }i =\mathtt{h} \\
                \mathbf{the.primes}_{\sigma}& \text{if } i=\sigma
                \end{array}
                \right.\sigma \Bigg)}& \text{if } j=\sigma
                \end{array}
                \right.   h) : t$} [.{$h: e$} ]       [.{$\lambda x. Prove(x, \neg \lambda j. \left\{
                \begin{array}{ll}
                \mathbf{Inductive_{\mathtt{h}}\Bigg(\lambda i. \left\{
                \begin{array}{ll}
                \mathbf{the.primes}_{\mathtt{h}}& \text{if }i =\mathtt{h} \\
                \mathbf{the.primes}_{\sigma}& \text{if } i=\sigma
                \end{array}
                \right.h \Bigg)}& \text{if }j =\mathtt{h} \\
                \mathbf{Inductive_{\mathtt{\sigma}}\Bigg(\lambda i. \left\{
                \begin{array}{ll}
                \mathbf{the.primes}_{\mathtt{h}}& \text{if }i =\mathtt{h} \\
                \mathbf{the.primes}_{\sigma}& \text{if } i=\sigma
                \end{array}
                \right.\sigma \Bigg)}& \text{if } j=\sigma
                \end{array}
                \right. \kappa(x)): e \linimp t$}  [.{$\lambda p.     \lambda x. Prove(x, p \hspace{0.2cm}\kappa(x))\,$ \\ $\Diamond t \linimp e   \linimp t$} ] [.{$\neg \lambda j \left\{
                \begin{array}{ll}
                \mathbf{Inductive_{\mathtt{h}}\Bigg(\lambda i. \left\{
                \begin{array}{ll}
                \mathbf{the.primes}_{\mathtt{h}}& \text{if }i =\mathtt{h} \\
                \mathbf{the.primes}_{\sigma}& \text{if } i=\sigma
                \end{array}
                \right.h \Bigg)}& \text{if }j =\mathtt{h} \\
                \mathbf{Inductive_{\mathtt{\sigma}}\Bigg(\lambda i. \left\{
                \begin{array}{ll}
                \mathbf{the.primes}_{\mathtt{h}}& \text{if }i =\mathtt{h} \\
                \mathbf{the.primes}_{\sigma}& \text{if } i=\sigma
                \end{array}
                \right. \sigma \Bigg)}& \text{if } j=\sigma
                \end{array}
                \right.: \Diamond t$} [.{$\lambda p. (\neg p)$ \\ $\Diamond t \linimp \Diamond t$} ] [.{$\lambda j. \left\{
                \begin{array}{ll}
                \mathbf{Inductive_{\mathtt{h}}\Bigg(\lambda i. \left\{
                \begin{array}{ll}
                \mathbf{the.primes}_{\mathtt{h}}& \text{if }i =\mathtt{h} \\
                \mathbf{the.primes}_{\sigma}& \text{if } i=\sigma
                \end{array} 
                \right. h \Bigg)}& \text{if }j =\mathtt{h} \\
                \mathbf{Inductive_{\mathtt{\sigma}}\Bigg(\lambda i. \left\{
                \begin{array}{ll}
                \mathbf{the.primes}_{\mathtt{h}}& \text{if }i =\mathtt{h} \\
                \mathbf{the.primes}_{\sigma}& \text{if } i=\sigma
                \end{array}
                \right. \sigma \Bigg)}& \text{if } j=\sigma
                \end{array}
                \right.: \Diamond t$} [.{$\lambda x, \lambda j. \left\{
                \begin{array}{ll}
                \mathbf{Inductive_{\mathtt{h}}(x_h)}& \text{if }j =\mathtt{h} \\
                \mathbf{Inductive_{\mathtt{\sigma}}(x_{\sigma})}& \text{if } j=\sigma
                \end{array}
                \right.:$ \\ $\Diamond e \linimp \Diamond t$} ] [.{$\lambda i. \left\{
                \begin{array}{ll}
                \mathbf{the.primes}_{\mathtt{h}}& \text{if }i =\mathtt{h} \\
                \mathbf{the.primes}_{\sigma}& \text{if } i=\sigma
                \end{array}
                \right. : \Diamond e$} ]     ]  ]  ] ] ] ] ]
\end{tikzpicture}

\end{exe}}

\end{document}

Does anyone know how I can solve this problem?

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.