Re: [eqn] 'therefore' and 'implies' symbols

[Robert Goulding]

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.