ntg-context - mailing list for ConTeXt users
 help / color / mirror / Atom feed
From: Otared Kavian <otared@gmail.com>
To: mailing list for ConTeXt users <ntg-context@ntg.nl>
Subject: [NTG-context] Re: Square right aligned
Date: Thu, 8 Feb 2024 22:37:08 +0100	[thread overview]
Message-ID: <7CF9A5D2-AED1-4694-8B46-1D9BF55CB887@gmail.com> (raw)
In-Reply-To: <dfa0f3886dd14da0b794ae857a712e02@univie.ac.at>


[-- Attachment #1.1: Type: text/plain, Size: 1882 bytes --]

Hi Ursula,

I think you mean the so-called end of the proof sign, or QED (Quod Erat Demonstrandum). You can use this:

\definesymbol[QED][\mathematics{\square}]
\def\qed{\wordright{\symbol[QED]}}
\starttext
This is the end of our proof. \qed
\stoptext

In principle it is included in ConTeXt, but it seems that in the latest version I have (2024.01.23), the command \qed is broken.

Best regards: Otared

> On 8 Feb 2024, at 12:23, Ursula Hermann <ursula.hermann@univie.ac.at> wrote:
> 
> Dear List, 
> 
> I am at Home  and have the following example.:
> 
> \starttext
> \margintext {1.1.1}
> {\bf Beispiel 3.2.17 (Vertauschung von All- und Existenzquantor).}
> \par
> {\it 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.\startalignment[right]\square\stopalignment}\stoptext}
> 
> There should be a sign like this □ at the end of the proof. 
> 
> Uschi
> ___________________________________________________________________________________
> If your question is of interest to others as well, please add an entry to the Wiki!
> 
> maillist : ntg-context@ntg.nl <mailto:ntg-context@ntg.nl> / https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nl <https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nl>
> webpage  : https://www.pragma-ade.nl <https://www.pragma-ade.nl/> / https://context.aanhet.net <https://context.aanhet.net/> (mirror)
> archive  : https://github.com/contextgarden/context <https://github.com/contextgarden/context>
> wiki     : https://wiki.contextgarden.net <https://wiki.contextgarden.net/>
> ___________________________________________________________________________________

Otared Kavian
e-mail: otared@gmail.com
Phone: +33 6 88 26 70 95





[-- Attachment #1.2: Type: text/html, Size: 16670 bytes --]

[-- Attachment #2: 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
___________________________________________________________________________________

  parent reply	other threads:[~2024-02-08 21:41 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-02-08 11:23 [NTG-context] " Ursula Hermann
2024-02-08 16:37 ` [NTG-context] " Henning Hraban Ramm
2024-02-08 21:37 ` Otared Kavian [this message]
2024-02-09  7:39   ` Ursula Hermann
2024-02-09  8:36     ` Ursula Hermann
2024-02-09 19:07   ` Pablo Rodriguez via ntg-context
2024-02-09 19:25     ` 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=7CF9A5D2-AED1-4694-8B46-1D9BF55CB887@gmail.com \
    --to=otared@gmail.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).