Re: x-symbol

faq
flatforty
contribute
subscribe
configure
search
rdf

main
parent
thread

Re: x-symbol
by ad on Tuesday 25/Mar/2008, @06:46

It's not wysiwyg. It renders a few tokens as symbols. For instance, while one could use tokens to create accentuated characters, such as \'a for à, things become quite unreadable. Most people are not that hardcore and either input isolatin (or unicode) characters directly, or use x-symbol for the same effect while keeping the file in ASCII. X-symbol allows you to go one step further and render other tokens as symbols.

In any case, personally I don't even use it with LaTeX. But I find it great for use with other systems, such as theorem provers, since you can see proper math symbols in your formulas. And I would love to be able to use it with some programming languages.

Look at the bottom of the screenshot:
http://proofgeneral.inf.ed.ac.uk/images/pg-isa-screenshot.png

Related Links

·   Articles on Quickies
·   Also by ad
·   Contact author

The Fine Print: The following comments are owned by whomever posted them.
( Reply )


		"We could write better than CORBA. Hic. In a day!" -- Preston Brown, Matthias Ettrich
KDE®, "K Desktop Environment", "KDE Dot News", "got the dot?" and the KDE Logo® are trademarks or registered trademarks of KDE e.V. in the European Union, the United States and other countries. All other trademarks and copyrights on this page are owned by their respective owners. Comments are owned by the poster. The rest: Copyright © 2000-2008 KDE e.V. for The KDE Project. For further information or comments on this site, please contact the Webmaster.