Hello, I'm running a MediaWiki server on a linux box running Kubuntu, and I'm trying to get my environment set up for TeX use. It all went pretty well, but I can't seem to use the 'ominus' or 'otimes' fonts. I have 'oplus' though. Can anyone tell me how to get the 'ominus' font?
Thanks, Ben
Ben Raskob wrote:
I'm running a MediaWiki server on a linux box running Kubuntu, and I'm trying to get my environment set up for TeX use. It all went pretty well, but I can't seem to use the 'ominus' or 'otimes' fonts. I have 'oplus' though. Can anyone tell me how to get the 'ominus' font?
You need to change texutil.ml manually (line 312 has oplus), add ominus yourself and re-compile.
It does seem to have otimes, though.
Timwi
Timwi <timwi <at> gmx.net> writes:
Ben Raskob wrote:
I'm running a MediaWiki server on a linux box running Kubuntu, and I'm trying to get my environment set up for TeX use. It all went pretty well, but I can't seem to use the 'ominus' or 'otimes' fonts. I have 'oplus' though. Can anyone tell me how to get the 'ominus' font?
You need to change texutil.ml manually (line 312 has oplus), add ominus yourself and re-compile.
It does seem to have otimes, though.
Timwi
Sorry, I meant 'odot', not 'otimes'. But you're right, I added ominus, recompiled, and it worked.
Thanks much! -Ben
wikitech-l@lists.wikimedia.org