Hi Uschi,
Your coding style is interesting. I do not understand the purpose of
the \it for example. I did put something together that you can try,
but I don't know if this is what you are looking for.
\starttext
\startitemize[n]
\startitem
\m{\forall n \in \naturalnumbers\mtp{:} n^2 > n \implies n > 1},
\stopitem
\startitem
\m{\forall n \in \naturalnumbers\mtp{:} 3\divides n \implies 4 \divides n},
\stopitem
\startitem
\m{\forall n \in \naturalnumbers\mtp{:} n^3 \mtext{ ungerade }
\implies n \mtext{ ungerade}}.
\stopitem
\stopitemize
\stoptext
To quote Pablo, I hope it helps.
/Mikael
On Thu, Feb 29, 2024 at 4:10 PM Ursula Hermann
<ursula.herm...@univie.ac.at> wrote:
>
> Dear List,
>
>
> This is my little example: the problem is, that everything was fine, in
> itemize 1 and 2. In the third itemize i have a problem, because after n^3
> and after \Rightarrow there should be a spaace , if I want to write :
> \Rightarrow n ungerade, but it says nungerade, what I dont want,.
>
>
> \startitemize[n]
> {\it \item \m{\forall n ∈ \naturalnumbers:n^2 >n\Rightarrow>1,\par}\nospace
> \par \item \m{\forall n ∈ \naturalnumbers:3\mid n\Rightarrow 4 \mid n,\par}
> \nospace
> \par \item \m{\forall n ∈ \naturalnumbers:n^3 ungerade \Rightarrow n
> ungerade \par}
>
> Uschi
>
> ___________________________________________________________________________________
> If your question is of interest to others as well, please add an entry to the
> Wiki!
>
> maillist : ntg-context@ntg.nl /
> https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nl
> webpage : https://www.pragma-ade.nl / https://context.aanhet.net (mirror)
> archive : https://github.com/contextgarden/context
> wiki : https://wiki.contextgarden.net
> ___________________________________________________________________________________
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the
Wiki!
maillist : ntg-context@ntg.nl /
https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nl
webpage : https://www.pragma-ade.nl / https://context.aanhet.net (mirror)
archive : https://github.com/contextgarden/context
wiki : https://wiki.contextgarden.net
___________________________________________________________________________________
