diff options
| author | Camil Staps | 2016-06-12 16:27:22 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-06-12 16:27:22 +0200 |
| commit | 1faf953f857704cd2ac0acb98d99a7a99e37ba5e (patch) | |
| tree | 93ffaccde9c3734c6f3b02fc1acc51c43d5101d7 /rulesquotify.tex | |
| parent | Turned explanation into list (diff) | |
Appendix met regels
Diffstat (limited to 'rulesquotify.tex')
| -rw-r--r-- | rulesquotify.tex | 17 |
1 files changed, 2 insertions, 15 deletions
diff --git a/rulesquotify.tex b/rulesquotify.tex index 8ebe567..27c34a3 100644 --- a/rulesquotify.tex +++ b/rulesquotify.tex @@ -15,26 +15,13 @@ wordt hier een \verb$\$ voor geplaatst. Hiervoor gebruiken we de hulpfunctie $\escapeop$. Dit geeft de volgende regel: -$$ -\begin{prooftree} - \trans - {\pgm}{\ip}{(\push{\texttt{"}\escape{s}\texttt{"}}{\stk'}, \str) } - {\ip'}{\op}{\st} - \justifies - \trans - {\StmQuotify:\pgm}{\ip}{(\stk,\str)} - {\ip'}{\op}{\st} - \using{\rquotifyns} - \qquad - \text{met $\pop{\stk} = (s, stk')$.} -\end{prooftree} -$$ +\therquotifyns% $$ \escape{c~s} = \begin{cases} \texttt{\textbackslash}~c~\escape{s} & \text{als $c\in\{\texttt{"},\texttt{\textbackslash},\text{het LF-karakter}\}$} \\ - c~\escape{s} & \text{anderszins} + c~\escape{s} & \text{anderszins} \end{cases} $$ |