I am trying to use a symbol mapped by the tag \lrtimes in Math mode, but I am getting error. Here is what I am doing.

Sys_1 \stackrel{\text{\tiny def}}{=} (Appl \parallel Appl) \lrtimes  WS

The \stackrel{\text{\tiny def}}{=} is a latex code for 'is defined as' operator which works fine in my other formulas.

The log message(from texmaker) reads as below:

! Undefined control sequence. ...}{=} (Appl \parallel Appl) \lrtimes WS l.69 \end{align*} The control sequence at the end of the top line of your error message was never \def'ed.

What is wrong in this case?

  • While code snippets are useful in explanations, it is always best to compose a fully compilable MWE that illustrates the problem including the \documentclass and the appropriate packages so that those trying to help don't have to recreate it. – Peter Grill Nov 30 '12 at 5:23
  • Ya sure, i agree – Shafi Nov 30 '12 at 5:39
  • 1
    the name \bowtie also represents the same symbol, and it's already present in latex. – barbara beeton Nov 30 '12 at 13:52

To use \lrtimes you need \usepackage{pxfonts} in the preamble:

enter image description here


Sys_1 \stackrel{\text{\tiny def}}{=} (Appl \parallel Appl) \lrtimes  WS
|improve this answer|||||
  • Thanks for the answer. The reason for the error is that pxfonts.sty file is missing. – Shafi Nov 30 '12 at 5:34
  • 1
    One should note that this globally changes the document font. – egreg Nov 30 '12 at 7:51

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.