From: Ursula Hermann <ursula.hermann@univie.ac.at>
To: mailing list for ConTeXt users <ntg-context@ntg.nl>
Subject: [NTG-context] Problem with the paragraph
Date: Wed, 13 Dec 2023 14:22:27 +0000 [thread overview]
Message-ID: <f3c6ced3218f45adaef6affc76dff03b@univie.ac.at> (raw)
[-- Attachment #1.1: Type: text/plain, Size: 2047 bytes --]
Dear list,
I have this example. I need the whole paragraph in color. But there is something wrong.
\definepapersize[MyBook][width=19cm,height=24cm]
\setuppapersize[MyBook][MyBook] % Prints on paper the size of MyBook
%\setuppapersize[MyBook][A4] %Would print MyBook-size pages on A4 paper
\setupbodyfont[Times New Roman, 12.2pt]
\definemargindata [MyInMargin][inright]
\definemarginframed[MyInMargin][topframe=on,bottomframe=on,rulethickness=1pt,width=1.90cm]
\defineenumeration
[theorem]
[
text=Theorem,
title=yes,
width=fit,
distance=0.2em,
alternative=serried,
]
\definetextbackground[paragraph][
location=paragraph,
background=color,
backgroundcolor=lightgray,
leftoffset=.5\bodyfontsize,
rightoffset=.5\bodyfontsize,
topoffset=.5\bodyfontsize,
bottomoffset=.5\bodyfontsize,
before={\switchtobodyfont[global]},
after={},
frame=off,]
\margintext{\blackrule[color=black, height=0.10ex, width=1cm]\\}\blackrule[color=black, height=0.10ex, width=13.50cm]
\starttext
\margintext {1.1.1}
\starttext
\bf{Beispiel 3.2.17 (Vertauschung von All- und Existenzquantor)}.
\stoptext
\starttext
{\it
\par Sei M die Menge aller Männer und F die Menge aller Frauen. Die Aus-\par
sage h(m, f) sei ”m ist verliebt in f“. Unter diesen Voraussetzungen
machen Sie sich die Bedeutung der beiden Aussagen klar.
\stoptext
\par
\starttext
1. \m\forall m ∈ M : ∃f ∈ F : h(m, f).\par
2. ∃f ∈ F : ∀m ∈ M : h(m, f).\par
\stoptext
\blank
\starttext
\startparagraph
\blank
\tf Mitunter ist es aus der Formulierung nur schwer zu erkennen, dass
ein \m ∃\forall∀ oder ein \m \forall∀\m∃ versteckt ist. Dann ist es besonders wichtig, die
Formulierung sehr lange zu prüfen und eventuell auch formalisiert
noch einmal aufzuschreiben.”\blank
Der Wert von y = f(x) ist unabhängig von der Wahl\par
von x“ ist gleichbedeutend mit ∃y : ∀x : f(x) = y \par
(Beutelspacher [10, S.54]).
\blank
\stopparagraph
\stoptext
Many thanks
Uschi
[-- Attachment #1.2: Type: text/html, Size: 11145 bytes --]
[-- Attachment #2: u.pdf --]
[-- Type: application/pdf, Size: 22662 bytes --]
[-- Attachment #3: Type: text/plain, Size: 511 bytes --]
___________________________________________________________________________________
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
___________________________________________________________________________________
next reply other threads:[~2023-12-13 14:24 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-12-13 14:22 Ursula Hermann [this message]
2023-12-13 14:52 ` [NTG-context] " Henning Hraban Ramm
2023-12-14 9:44 ` Ursula Hermann
2023-12-15 12:59 ` Bruce Horrocks
2023-12-18 8:12 ` Ursula Hermann
2023-12-14 20:20 ` Wolfgang Schuster
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=f3c6ced3218f45adaef6affc76dff03b@univie.ac.at \
--to=ursula.hermann@univie.ac.at \
--cc=ntg-context@ntg.nl \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).