Skip to Content.
Sympa Menu

texmacs-users - Re: [TeXmacs] negation

Subject: mailing-list for TeXmacs Users

List archive

Re: [TeXmacs] negation


Chronological Thread 
  • From: "El.Douwen" <address@hidden>
  • To: address@hidden
  • Subject: Re: [TeXmacs] negation
  • Date: Fri, 9 Mar 2012 20:13:10 +0100

ok Julien thanks
my question, however, was for

Attachment: PastedGraphic-1.pdf
Description: Adobe PDF document


well i can shift the / on the 2 or on the x but what would be fine is
inclining it
what i have found is "draw on selection" but that is a bit manual

Attachment: PastedGraphic-2.pdf
Description: Adobe PDF document


i understand that Luis suggest a means to superpose two items
ut i dont understand what he means with the word "intro" in "alt+\+intro"
i understand now that "blue \" means when you type \ you get <\> in blue
color, ok
so Luis says i write <neg> in maths mode ok i understand, that gives a L
rotated in 90°, the symbol of negation in logical
that is not what i wanted...
so for the moment i just have the manual option, that is still something

alvaro, have you got your popcorn ? :-)

Vincent

Le 9 mars 2012 à 15:12, Julien Frontisi a écrit :

> <Capture d’écran 2012-03-09 à 15.05.50.png>
> If that's the kind of things you want, you can also shift the expression in
> the "not" to the left by introducing a space under the square root after
> the x. Not very syntacticly correct but efficient.
> Julien
> ps : I don't know if the image will survive the mailing-list server.
> pps : Luis is probably not using the same keyboard as you are, hence his
> shift and alt modifiers.
>
> Le 9 mars 2012 à 11:00, El.Douwen a écrit :
>
>> hi Luis
>> thank you but i am afraid i do not understand anything
>> by me, shift $ just makes *
>> and alt \ is not different than \ since i must press alt to obtain \
>> i dont understand the sentence write neg next of blue \
>> ...
>> Vincent
>>
>> Le 26 févr. 2012 à 00:00, luis jaime a écrit :
>>
>>> Hi El.Douwen:
>>>
>>> The sequence will be: Shift + $, Alt + \ + intro, next you select the
>>> symbol, next do Alt+\ and write neg next of "blue \" + intro and ready.
>>>
>>> I hope to be helpfull.
>>>
>>> att,
>>>
>>> luis jaime
>>>
>>> El 25/02/12 14:46, El.Douwen escribió:
>>>> hi all
>>>> if i write square root of x, and then i select it and want to do a
>>>> neagtion of it, i would like the / to be a \ because the / is not
>>>> visible in this case
>>>> how to do it ?
>>>> Sacha
>>
>




Archive powered by MHonArc 2.6.19.

Top of Page