### Re: Logical Operators - another question

Thanks Josh,now I found it. The problem was, that I could not identify the symbol sets. After enabling one set it appears somewhere at the bottom, where several others already are shownJust another question: How do I activate the \sqint symbol? The processor says: undefined symbol. Best RegardsJens-D.Doll, studUniversität HamburgFachgruppe TGI Am .08.2013, 13:08 Uhr, schrieb Josh Hieronymus josh.p.hierony...@gmail.com:They're located with the "Miscellaneous" symbols that appear when you click the upside-down "nabla" triangle button. Or, within a math environment, you can simply type "\forall" and "\exists" to get these symbols. - JoshOn Thu, Aug 8, 2013 at 6:03 AM, Jens-D. Doll jens.d...@studium.uni-hamburg.de wrote: Does anyone know, where the forall and exists quantors can be found? I found a lot of mathematical symbols, but not these two. Greetings, Jens attachment: sqint.jpg

### Re: Logical Operators - another question

On 08/09/2013 03:52 AM, Jens-D. Doll wrote: Thanks Josh, now I found it. The problem was, that I could not identify the symbol sets. After enabling one set it appears somewhere at the bottom, where several others already are shown Just another question: How do I activate the \sqint symbol? The processor says: undefined symbol. In general, get yourself a copy of the comprehensive list of LaTeX symbols: http://www.ctan.org/tex-archive/info/symbols/comprehensive/ Look up sqint, and see what packate it requires. Include said package. In this case, though, you can just go to Document Settings Math Options, and check Include esint package automatically. That's the right package, and then LyX will take care of it. Richard

### Re: Logical Operators - another question

Thanks Josh,now I found it. The problem was, that I could not identify the symbol sets. After enabling one set it appears somewhere at the bottom, where several others already are shownJust another question: How do I activate the \sqint symbol? The processor says: undefined symbol. Best RegardsJens-D.Doll, studUniversität HamburgFachgruppe TGI Am .08.2013, 13:08 Uhr, schrieb Josh Hieronymus josh.p.hierony...@gmail.com:They're located with the "Miscellaneous" symbols that appear when you click the upside-down "nabla" triangle button. Or, within a math environment, you can simply type "\forall" and "\exists" to get these symbols. - JoshOn Thu, Aug 8, 2013 at 6:03 AM, Jens-D. Doll jens.d...@studium.uni-hamburg.de wrote: Does anyone know, where the forall and exists quantors can be found? I found a lot of mathematical symbols, but not these two. Greetings, Jens attachment: sqint.jpg

### Re: Logical Operators - another question

On 08/09/2013 03:52 AM, Jens-D. Doll wrote: Thanks Josh, now I found it. The problem was, that I could not identify the symbol sets. After enabling one set it appears somewhere at the bottom, where several others already are shown Just another question: How do I activate the \sqint symbol? The processor says: undefined symbol. In general, get yourself a copy of the comprehensive list of LaTeX symbols: http://www.ctan.org/tex-archive/info/symbols/comprehensive/ Look up sqint, and see what packate it requires. Include said package. In this case, though, you can just go to Document Settings Math Options, and check Include esint package automatically. That's the right package, and then LyX will take care of it. Richard

### Re: Logical Operators - another question

Thanks Josh,now I found it. The problem was, that I could not identify the symbol sets. After enabling one set it appears somewhere at the bottom, where several others already are shownJust another question: How do I activate the \sqint symbol? The processor says: undefined symbol. Best RegardsJens-D.Doll, studUniversität HamburgFachgruppe TGI Am .08.2013, 13:08 Uhr, schrieb Josh Hieronymus:They're located with the "Miscellaneous" symbols that appear when you click the upside-down "nabla" triangle button. Or, within a math environment, you can simply type "\forall" and "\exists" to get these symbols. - JoshOn Thu, Aug 8, 2013 at 6:03 AM, Jens-D. Doll wrote: Does anyone know, where the forall and exists quantors can be found? I found a lot of mathematical symbols, but not these two. Greetings, Jens <>

### Re: Logical Operators - another question

On 08/09/2013 03:52 AM, Jens-D. Doll wrote: Thanks Josh, now I found it. The problem was, that I could not identify the symbol sets. After enabling one set it appears somewhere at the bottom, where several others already are shown Just another question: How do I activate the \sqint symbol? The processor says: undefined symbol. In general, get yourself a copy of the comprehensive list of LaTeX symbols: http://www.ctan.org/tex-archive/info/symbols/comprehensive/ Look up sqint, and see what packate it requires. Include said package. In this case, though, you can just go to Document> Settings> Math Options, and check "Include esint package automatically". That's the right package, and then LyX will take care of it. Richard