Attention: Maintenance on monday 19.04.2021 from 07:00 - 13:00 (Gitlab and Mattermost are offline!)

Commit 859c860f authored by Michael Kohlhase's avatar Michael Kohlhase

included idioms

parent 2fa3a103
......@@ -143,10 +143,13 @@ Our current example looks like this:
\section{Case Study: Definition of Prime Numbers}
To understand the problem better, we consider the following example sentence:
A positive integer $n$ is called prime, iff there is no positive integer $1 < m < n$
with $m \divides n$.
\hfill (*)
We would like to parse this sentence with \GF (\lstinline[language={}]{p -cat=EN})
and linearize it into \mmt (\lstinline[language={}]{l -cat=MMT}):
......@@ -224,7 +227,10 @@ not (mkProp (set1_in (root nums1_pi ten) emptyset))
\subsection{Using GF on HTML5}
If we run (*) through \LaTeX{ML}, we get a HTML5 rendering, which represents the formulae
as MathML expressions, Listing \ref{sentence.html5.cleaned} shows the essence;
Appendix~\ref{sec:sentence.html5} has the full listing.
\lstinputlisting[language=HTML,caption=HTML5 Representation of (*),label=sentence.html5.cleaned]{sentence.html5.cleaned}
......@@ -232,8 +238,11 @@ not (mkProp (set1_in (root nums1_pi ten) emptyset))
\section{The full HTML5 Sentence}
\section{The full HTML5 Sentence}\label{sec:sentence.html5}
\section{A List of Mathematical Idioms}\label{sec:idioms}
The following idioms have to be covered especially in the grammar.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment