Re: Box arrow
On 2009-09-17, Manolo Martínez wrote: I see. Reading the link below I've found out I need \boxright and \boxleft from txfonts; but these do not appear in the equation dialogue -although I do have txfonts installed. I cannot simply embed an ERT in the middle of an equation, can I? You can. Just write it (without trying to open an ERT-inset). In the math box, everything that LyX does not understand is left as ERT. Günter
Re: Box arrow
OK, that can be done, indeed. But my installation does not seem to understand \boxright. The pdf output simply shows pboxrightq where the symbol should have been... Manolo Guenter Milde escribió: shows On 2009-09-17, Manolo Martínez wrote: I see. Reading the link below I've found out I need \boxright and \boxleft from txfonts; but these do not appear in the equation dialogue -although I do have txfonts installed. I cannot simply embed an ERT in the middle of an equation, can I? You can. Just write it (without trying to open an ERT-inset). In the math box, everything that LyX does not understand is left as ERT. Günter
Re: Box arrow
The problem was that, when I wrote '\boxright', Lyx, for some reason added an extra '\'. Once I've noticed this in the source window, I've fiddled with it till it has disappeared -it works when adding a space after \boxright- and now it's perfect. Thanks! Manolo Guenter Milde escribió: shows On 2009-09-17, Manolo Martínez wrote: I see. Reading the link below I've found out I need \boxright and \boxleft from txfonts; but these do not appear in the equation dialogue -although I do have txfonts installed. I cannot simply embed an ERT in the middle of an equation, can I? You can. Just write it (without trying to open an ERT-inset). In the math box, everything that LyX does not understand is left as ERT. Günter
Re: Box arrow
On 2009-09-17, Manolo Martínez wrote: I see. Reading the link below I've found out I need \boxright and \boxleft from txfonts; but these do not appear in the equation dialogue -although I do have txfonts installed. I cannot simply embed an ERT in the middle of an equation, can I? You can. Just write it (without trying to open an ERT-inset). In the math box, everything that LyX does not understand is left as ERT. Günter
Re: Box arrow
OK, that can be done, indeed. But my installation does not seem to understand \boxright. The pdf output simply shows pboxrightq where the symbol should have been... Manolo Guenter Milde escribió: shows On 2009-09-17, Manolo Martínez wrote: I see. Reading the link below I've found out I need \boxright and \boxleft from txfonts; but these do not appear in the equation dialogue -although I do have txfonts installed. I cannot simply embed an ERT in the middle of an equation, can I? You can. Just write it (without trying to open an ERT-inset). In the math box, everything that LyX does not understand is left as ERT. Günter
Re: Box arrow
The problem was that, when I wrote '\boxright', Lyx, for some reason added an extra '\'. Once I've noticed this in the source window, I've fiddled with it till it has disappeared -it works when adding a space after \boxright- and now it's perfect. Thanks! Manolo Guenter Milde escribió: shows On 2009-09-17, Manolo Martínez wrote: I see. Reading the link below I've found out I need \boxright and \boxleft from txfonts; but these do not appear in the equation dialogue -although I do have txfonts installed. I cannot simply embed an ERT in the middle of an equation, can I? You can. Just write it (without trying to open an ERT-inset). In the math box, everything that LyX does not understand is left as ERT. Günter
Re: Box arrow
On 2009-09-17, Manolo Martínez wrote: > I see. Reading the link below I've found out I need \boxright and > \boxleft from txfonts; but these do not appear in the equation dialogue > -although I do have txfonts installed. I cannot simply embed an ERT in > the middle of an equation, can I? You can. Just write it (without trying to open an ERT-inset). In the math box, everything that LyX does not understand is left as ERT. Günter
Re: Box arrow
OK, that can be done, indeed. But my installation does not seem to understand \boxright. The pdf output simply shows "pboxrightq" where the symbol should have been... Manolo Guenter Milde escribió: shows On 2009-09-17, Manolo Martínez wrote: I see. Reading the link below I've found out I need \boxright and \boxleft from txfonts; but these do not appear in the equation dialogue -although I do have txfonts installed. I cannot simply embed an ERT in the middle of an equation, can I? You can. Just write it (without trying to open an ERT-inset). In the math box, everything that LyX does not understand is left as ERT. Günter
Re: Box arrow
The problem was that, when I wrote '\boxright', Lyx, for some reason added an extra '\'. Once I've noticed this in the source window, I've fiddled with it till it has disappeared -it works when adding a space after \boxright- and now it's perfect. Thanks! Manolo Guenter Milde escribió: shows On 2009-09-17, Manolo Martínez wrote: I see. Reading the link below I've found out I need \boxright and \boxleft from txfonts; but these do not appear in the equation dialogue -although I do have txfonts installed. I cannot simply embed an ERT in the middle of an equation, can I? You can. Just write it (without trying to open an ERT-inset). In the math box, everything that LyX does not understand is left as ERT. Günter
Re: Box arrow
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Manolo Martínez wrote: Dear all, Does anyone know a way to obtain the box arrow symbol that is used to signal counterfactual conditionals in logic? Thanks, Manolo Does this help http://www.ucalgary.ca/~rzach/logblog/2007/02/strict-conditional-in-latex.html I have a symbols.pdf file, which lists literally thousands of styles and associated symbols, There may be a specific one for this, but Paul For some reason if I hit reply, i end up sending replies to who ever sent the original message rather than the list, i have therefore cc'd this to the list. - -- Paul Sutton www.zleap.net Support Open and ISO standard file formats ISO 26300 odf http://www.odfalliance.org Meetings 1st Saturday of the month - Shoreline, Paignton from 3pm Software freedom day 2009 - Saturday 19th September 2009 -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iEYEARECAAYFAkqyUSEACgkQaggq1k2FJq0mEQCdHSFGjuHe+NKl76zF1ULVN47S jSYAmgIZucaCH616y/eMiILx+VZcshqm =bVEF -END PGP SIGNATURE-
Re: Box arrow
Manolo Martínez schrieb: Does anyone know a way to obtain the box arrow symbol that is used to signal counterfactual conditionals in logic? Can you provide a screenshot or image what symbol you are meaning? regards Uwe
Re: Box arrow
I see. Reading the link below I've found out I need \boxright and \boxleft from txfonts; but these do not appear in the equation dialogue -although I do have txfonts installed. I cannot simply embed an ERT in the middle of an equation, can I? How do I go about calling these symbols, then? Thanks! Manolo Paul Sutton escribió: -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Manolo Martínez wrote: Dear all, Does anyone know a way to obtain the box arrow symbol that is used to signal counterfactual conditionals in logic? Thanks, Manolo Does this help http://www.ucalgary.ca/~rzach/logblog/2007/02/strict-conditional-in-latex.html I have a symbols.pdf file, which lists literally thousands of styles and associated symbols, There may be a specific one for this, but Paul For some reason if I hit reply, i end up sending replies to who ever sent the original message rather than the list, i have therefore cc'd this to the list. - -- Paul Sutton www.zleap.net Support Open and ISO standard file formats ISO 26300 odf http://www.odfalliance.org Meetings 1st Saturday of the month - Shoreline, Paignton from 3pm Software freedom day 2009 - Saturday 19th September 2009 -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iEYEARECAAYFAkqyUSEACgkQaggq1k2FJq0mEQCdHSFGjuHe+NKl76zF1ULVN47S jSYAmgIZucaCH616y/eMiILx+VZcshqm =bVEF -END PGP SIGNATURE-
Re: Box arrow
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Manolo Martínez wrote: Dear all, Does anyone know a way to obtain the box arrow symbol that is used to signal counterfactual conditionals in logic? Thanks, Manolo Does this help http://www.ucalgary.ca/~rzach/logblog/2007/02/strict-conditional-in-latex.html I have a symbols.pdf file, which lists literally thousands of styles and associated symbols, There may be a specific one for this, but Paul For some reason if I hit reply, i end up sending replies to who ever sent the original message rather than the list, i have therefore cc'd this to the list. - -- Paul Sutton www.zleap.net Support Open and ISO standard file formats ISO 26300 odf http://www.odfalliance.org Meetings 1st Saturday of the month - Shoreline, Paignton from 3pm Software freedom day 2009 - Saturday 19th September 2009 -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iEYEARECAAYFAkqyUSEACgkQaggq1k2FJq0mEQCdHSFGjuHe+NKl76zF1ULVN47S jSYAmgIZucaCH616y/eMiILx+VZcshqm =bVEF -END PGP SIGNATURE-
Re: Box arrow
Manolo Martínez schrieb: Does anyone know a way to obtain the box arrow symbol that is used to signal counterfactual conditionals in logic? Can you provide a screenshot or image what symbol you are meaning? regards Uwe
Re: Box arrow
I see. Reading the link below I've found out I need \boxright and \boxleft from txfonts; but these do not appear in the equation dialogue -although I do have txfonts installed. I cannot simply embed an ERT in the middle of an equation, can I? How do I go about calling these symbols, then? Thanks! Manolo Paul Sutton escribió: -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Manolo Martínez wrote: Dear all, Does anyone know a way to obtain the box arrow symbol that is used to signal counterfactual conditionals in logic? Thanks, Manolo Does this help http://www.ucalgary.ca/~rzach/logblog/2007/02/strict-conditional-in-latex.html I have a symbols.pdf file, which lists literally thousands of styles and associated symbols, There may be a specific one for this, but Paul For some reason if I hit reply, i end up sending replies to who ever sent the original message rather than the list, i have therefore cc'd this to the list. - -- Paul Sutton www.zleap.net Support Open and ISO standard file formats ISO 26300 odf http://www.odfalliance.org Meetings 1st Saturday of the month - Shoreline, Paignton from 3pm Software freedom day 2009 - Saturday 19th September 2009 -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iEYEARECAAYFAkqyUSEACgkQaggq1k2FJq0mEQCdHSFGjuHe+NKl76zF1ULVN47S jSYAmgIZucaCH616y/eMiILx+VZcshqm =bVEF -END PGP SIGNATURE-
Re: Box arrow
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Manolo Martínez wrote: > Dear all, > > Does anyone know a way to obtain the "box arrow" symbol that is used to > signal counterfactual conditionals in logic? > > Thanks, > Manolo Does this help http://www.ucalgary.ca/~rzach/logblog/2007/02/strict-conditional-in-latex.html I have a symbols.pdf file, which lists literally thousands of styles and associated symbols, There may be a specific one for this, but Paul For some reason if I hit reply, i end up sending replies to who ever sent the original message rather than the list, i have therefore cc'd this to the list. - -- Paul Sutton www.zleap.net Support Open and ISO standard file formats ISO 26300 odf http://www.odfalliance.org Meetings 1st Saturday of the month - Shoreline, Paignton from 3pm Software freedom day 2009 - Saturday 19th September 2009 -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iEYEARECAAYFAkqyUSEACgkQaggq1k2FJq0mEQCdHSFGjuHe+NKl76zF1ULVN47S jSYAmgIZucaCH616y/eMiILx+VZcshqm =bVEF -END PGP SIGNATURE-
Re: Box arrow
Manolo Martínez schrieb: Does anyone know a way to obtain the "box arrow" symbol that is used to signal counterfactual conditionals in logic? Can you provide a screenshot or image what symbol you are meaning? regards Uwe
Re: Box arrow
I see. Reading the link below I've found out I need \boxright and \boxleft from txfonts; but these do not appear in the equation dialogue -although I do have txfonts installed. I cannot simply embed an ERT in the middle of an equation, can I? How do I go about calling these symbols, then? Thanks! Manolo Paul Sutton escribió: -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Manolo Martínez wrote: Dear all, Does anyone know a way to obtain the "box arrow" symbol that is used to signal counterfactual conditionals in logic? Thanks, Manolo Does this help http://www.ucalgary.ca/~rzach/logblog/2007/02/strict-conditional-in-latex.html I have a symbols.pdf file, which lists literally thousands of styles and associated symbols, There may be a specific one for this, but Paul For some reason if I hit reply, i end up sending replies to who ever sent the original message rather than the list, i have therefore cc'd this to the list. - -- Paul Sutton www.zleap.net Support Open and ISO standard file formats ISO 26300 odf http://www.odfalliance.org Meetings 1st Saturday of the month - Shoreline, Paignton from 3pm Software freedom day 2009 - Saturday 19th September 2009 -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iEYEARECAAYFAkqyUSEACgkQaggq1k2FJq0mEQCdHSFGjuHe+NKl76zF1ULVN47S jSYAmgIZucaCH616y/eMiILx+VZcshqm =bVEF -END PGP SIGNATURE-
