From: Bruce Horrocks <ntg@scorecrow.com>
To: ntg-context mailing list <ntg-context@ntg.nl>
Subject: [NTG-context] Re: Problem with the paragraph
Date: Fri, 15 Dec 2023 12:59:31 +0000 [thread overview]
Message-ID: <9BA72486-2AD6-42CB-840A-C16A845F3B4B@scorecrow.com> (raw)
In-Reply-To: <6913b7e5d2594b3285cada2f81b241a1@univie.ac.at>
> On 14 Dec 2023, at 09:44, Ursula Hermann <ursula.hermann@univie.ac.at> wrote:
>
> If I change the name of the textbackground with my example, I sent yesterday, there is no color in the paragraph.
>
Try the following version of your example which incoporates Hraban's and Wolfgang's suggestions.
Also take care over changing style so use \bold{this is bold} or {\bf this is bold} but not \bf{this is bold}.
\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[GrayBackground][
location=paragraph,
background=color,
backgroundcolor=lightgray,
leftoffset=.5\bodyfontsize,
rightoffset=.5\bodyfontsize,
topoffset=.5\bodyfontsize,
bottomoffset=.5\bodyfontsize,
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}
{\bf Beispiel 3.2.17 (Vertauschung von All- und Existenzquantor).}
\par Sei M die Menge aller Männer und F die Menge aller Frauen. Die
Aussage h(m, f) sei ”m ist verliebt in f“. Unter diesen Voraussetzungen
machen Sie sich die Bedeutung der beiden Aussagen klar.
\par
\startitemize[n]
\item \m{\forall m ∈ M : ∃f ∈ F : h(m, f)}
\item ∃f ∈ F : ∀m ∈ M : h(m, f).
\stopitemize
% I changed the above to use \startitemize but have a look at \placeformula as well
\startGrayBackground
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 \m{y = f(x)} ist unabhängig von der Wahl\par
von \m{x\doubleprime} ist gleichbedeutend mit \m{∃y : ∀x : f(x) = y} \par
(Beutelspacher [10, S.54]).
\stopGrayBackground
\stoptext
—
Bruce Horrocks
Hampshire, UK
___________________________________________________________________________________
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 prev parent reply other threads:[~2023-12-15 13:05 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-12-13 14:22 [NTG-context] " Ursula Hermann
2023-12-13 14:52 ` [NTG-context] " Henning Hraban Ramm
2023-12-14 9:44 ` Ursula Hermann
2023-12-15 12:59 ` Bruce Horrocks [this message]
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=9BA72486-2AD6-42CB-840A-C16A845F3B4B@scorecrow.com \
--to=ntg@scorecrow.com \
--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).