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 <dami...@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.
