{\\}{{$\lambda\:$}}1
{A.}{{$\forall\;\,$}}1
{E.}{{$\exists\;\,$}}1
- {>}{{$>$}}1
- {<}{{$<$}}1
- {<=}{{$\leq$}}1
- {>=}{{$\geq$}}1
- {<>}{{$\neq$}}1
- {->}{{$\rightarrow$}}2
- {<-}{{$\leftarrow$}}1
- {=}{{$=$}}1
- {~}{{$\sim$}}1
- {\#}{{$\sharp$}}1
- {\{|}{{$\{\!|\!$}}1
- {|\}}{{$\!|\!\}$}}1
- {:=}{{$:=$}}2
- {==}{{$==$}}2
- {++}{{$+\!\!+$}}2
- {+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
- {:==}{{$:==$}}3
+% {>}{{$>$}}1
+% {<}{{$<$}}1
+% {<=}{{$\leq$}}1
+% {>=}{{$\geq$}}1
+% {<>}{{$\neq$}}1
+% {->}{{$\rightarrow$}}2
+% {<-}{{$\leftarrow$}}1
+% {=}{{$=$}}1
+% {~}{{$\sim$}}1
+% {\#}{{$\sharp$}}1
+% {\{|}{{$\{\!|\!$}}1
+% {|\}}{{$\!|\!\}$}}1
+% {:=}{{$:=$}}2
+% {==}{{$==$}}2
+% {++}{{$+\!\!+$}}2
+% {+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
+% {:==}{{$:==$}}3
{\{|*|\}}{{$\{\!|\!\!\star\!\!|\!\}$}}3
%
% Basic iTask constructs
breaklines=true, % sets automatic line breaking
captionpos=b, % sets the caption-position to bottom
keepspaces=true, % keeps spaces in text, useful for keeping indentation of code (possibly needs columns=flexible)
- basicstyle=\footnotesize, % the size of the fonts that are used for the code
+ basicstyle=\ttfamily\footnotesize, % the size of the fonts that are used for the code
commentstyle=\itshape, % comment style
keywordstyle=\bfseries, % keyword style
stringstyle=\ttfamily, % string literal style
- language=Clean, % the language of the code
showspaces=false, % show spaces everywhere adding particular underscores; it overrides 'showstringspaces'
showstringspaces=false, % underline spaces within strings only
showtabs=false, % show tabs within strings adding particular underscores
- tabsize=4 % sets default tabsize to 2 spaces
+ tabsize=4, % sets default tabsize to 2 spaces
+ frame=L
}
\title{iTasks and the Internet of Things}