[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [eqn] 'therefore' and 'implies' symbols
From: |
Robert Goulding |
Subject: |
Re: [eqn] 'therefore' and 'implies' symbols |
Date: |
Sat, 20 Mar 2021 11:35:48 -0400 |
In order to get the spacing right, you might also tell eqn what kind of
symbols these are:
.EQ
define implies 'type "relation" \[rA]'
define therefore 'type "operator" \[tf]'
.EN
On Sat, Mar 20, 2021 at 2:50 AM Damian McGuckin <damianm@esi.com.au> wrote:
> On Sat, 20 Mar 2021, Mike Skec wrote:
>
> > I was wondering if it is possible to use the "therefore" (?) and
> > "implies" (?) symbols using eqn.
> >
> > In LaTeX this is possible using \therefore, and \implies. I can't seem
> > to find any method of doing this in eqn - I thought I'd ask in case I'm
> > missing something.
> >
> > Apologies if this is the wrong place to ask this.
>
> Go and look in the
>
> groff_char
>
> manual page. They are somewhere there. I think therefor is
>
> \[3d]
> and
> \[tf]
>
> What do you mean by implies
>
> ->
> or
> =>
>
> There are lots of variations of arrows. If you mean the latter then
>
> \[rA]
>
> You can use these in EQN directly or by defining
>
> implies
> or
> therefore
>
> as the appropriate thing.
>
> Regards - Damian
>
> Pacific Engineering Systems International, 277-279 Broadway, Glebe NSW 2037
> Ph:+61-2-8571-0847 .. Fx:+61-2-9692-9623 | unsolicited email not wanted
> here
> Views & opinions here are mine and not those of any past or present
> employer
>
>
--
Robert Goulding
Director, John J. Reilly Center for Science, Technology, and Values;
Director, Program in History and Philosophy of Science;
Assoc. Professor, Program of Liberal Studies,
Fellow, Medieval Institute,
University of Notre Dame.