Tópico: LaTeX e unicode

[Eleitor de Mário Oliveira]

N1 ∀x(sx≠x)
N2 ∀x∀y(sx=sy→x=y)
N3 ∀x(x+0=x)
N4 ∀x∀y(x+sy=s(x+y))

Vocês enxergam estes símbolos?

[Eleitor de Mário Oliveira]

N1. ∀x(sx ≠ x)
N2. ∀x∀y(sx = sy → x = y)
N3. ∀x(x+0 = x)
N4. ∀x∀y(x+sy = s(x+y))
N5. ∀x(x*0 = 0)
N6. ∀x∀y(x*sy = (x*y)+x)
N7. ∀x(x<0)
N8. ∀x∀y(x<sy ↔ (x<y ∨ x=y))
N9. ∀x∀y(x<y ∨ x=y ∨ y<x)

[Snake]

Eu sim.

[Eleitor de Mário Oliveira]

Nenhum quadradinho?

[Snake]

Não (usando o Firefox).

Com o Links aparece no lugar das setas, mas creio que ninguém aqui use esse browser.

[Eleitor de Mário Oliveira]

Não (usando o Firefox).

Com o Links aparece no lugar das setas, mas creio que ninguém aqui use esse browser.

Azar de quem usa IE.

[Buckaroo Banzai]

exergo setas, setas para as duas direções, e uma coisa que não sei o que é, mas é como se fosse um A de cabeça para baixo

[Oceanos]

Aqui no Opera funciona.

[Eleitor de Mário Oliveira]

exergo setas, setas para as duas direções, e uma coisa que não sei o que é, mas é como se fosse um A de cabeça para baixo

Quantificador universal.

[n/a]

Aqui no Opera funciona.

Hehehe.

[Anonymous]

Traduz os símbolos pra gente?

[Barata Tenno]

Eu acho que esse visitante é algum membro com vergonha de perguntar.......  

[SnowRaptor]

Com o Links aparece no lugar das setas, mas creio que ninguém aqui use esse browser.

Eu uso!!

Mas continuo odiando unicode..

[Oceanos]

Traduz os símbolos pra gente?

http://pt.wikibooks.org/wiki/L%C3%B3gica  

[SnowRaptor]

Traduz os símbolos pra gente?

http://pt.wikibooks.org/wiki/L%C3%B3gica  

http://pt.wikibooks.org/wiki/L%C3%B3gica

[Oceanos]

Eu editei mais rápido que você..

[SnowRaptor]

Eu editei mais rápido que você..

Eu continuo odiando unicode e preferindo LaTeX

[Snake]

Eu editei mais rápido que você..

Eu continuo odiando unicode e preferindo LaTeX

O que uma coisa tem a ver com a outra?

[SnowRaptor]

Eu continuo odiando unicode e preferindo LaTeX

O que uma coisa tem a ver com a outra?

LaTeX é bem mais eficiente pra escrever essas fórmulas matemáticas/lógicas/químicas.

[Snake]

Eu continuo odiando unicode e preferindo LaTeX

O que uma coisa tem a ver com a outra?

LaTeX é bem mais eficiente pra escrever essas fórmulas matemáticas/lógicas/químicas.

Concordo, mas o que eu queria dizer é que não são coisas opostas. Pode-se escrever o código da fórmula em unicode, por exemplo.

Aliás, a Wikipedia permite inserir código LaTeX, não? (utilizando <math>fórmula</math>, se não me engano)

[SnowRaptor]

[...]o que eu queria dizer é que não são coisas opostas. Pode-se escrever o código da fórmula em unicode, por exemplo.

Na verdade, para o modo matemático do LaTeX, bastam os caracteres da tabela ASCII, então utilizar Unicode é besteira, como em qualquer outro caso.

Aliás, a Wikipedia permite inserir código LaTeX, não? (utilizando <math>fórmula</math>, se não me engano)

Sim, e tem um MOD pra phpbb que também permite.

[Eleitor de Mário Oliveira]

Traduz os símbolos pra gente?

"N" significa que estou falando de números naturais.

N1. ∀x(sx ≠ x)
Para todo x, o sucessor de x é diferente de x.
 
N2. ∀x∀y(sx = sy → x = y)
Para todo x e para todo y, se o sucessor de x é igual ao sucessor de y, então x é igual a y.

N3. ∀x(x+0 = x)
Para todo x, x+0 = x

N4. ∀x∀y(x+sy = s(x+y))
Para todo x e para todo y, x somado ao sucessor de y é igual ao sucessor de x+y.
Ex: 3+(4+1) = 1+(3+4)
 
N5. ∀x(x*0 = 0)
Para todo x, x multiplicado por zero é igual a zero.

N6. ∀x∀y(x*sy = (x*y)+x)
Para todo x e para todo y, x multiplicado pelo sucessor de y é igual a (x*y)+x.
Ex: 2*(3+1) = (2*3)+2
 
N7. ∀x¬(x<0)
Nenhum x é menor que 0.

N8. ∀x∀y(x<sy ↔ (x<y ∨ x=y))
Para todo x e para todo y, x é menor que o sucessor de y se, e somente se, x é menor que y ou x é igual a y.
 
N9. ∀x∀y(x<y ∨ x=y ∨ y<x)
Para todo x e para todo y, ou x é menor que y, ou x é igual a y, ou y é menor que x.

[Eleitor de Mário Oliveira]

Eu continuo odiando unicode e preferindo LaTeX

O que uma coisa tem a ver com a outra?

LaTeX é bem mais eficiente pra escrever essas fórmulas matemáticas/lógicas/químicas.

Concordo, mas o que eu queria dizer é que não são coisas opostas. Pode-se escrever o código da fórmula em unicode, por exemplo.

Aliás, a Wikipedia permite inserir código LaTeX, não? (utilizando <math>fórmula</math>, se não me engano)

Agora fiquei curioso sobre este latex. Você poderiam me explicar ou me indicar uma leitura?

[uiliníli]

E o Clube Cético aceita LaTeX?


P.S.: O LaTeX tinha mesmo que ser escrito aXiM?

[Snake]

[...]o que eu queria dizer é que não são coisas opostas. Pode-se escrever o código da fórmula em unicode, por exemplo.

Na verdade, para o modo matemático do LaTeX, bastam os caracteres da tabela ASCII, então utilizar Unicode é besteira, como em qualquer outro caso.

É de fato descenessário, mas por que besteira?

E eu não acho o unicode inútil; só com ele eu consigo ver acentos em um console, por exemplo. aliás, boa parte dos problemas de codificação deixam de ser problemas quando se usa unicode.

Agora fiquei curioso sobre este latex. Você poderiam me explicar ou me indicar uma leitura?

Introduções:

http://www.mat.ufmg.br/~regi/topicos/intlat.html
http://www.unibase.com.co/~bruno/latex/lshortBR.pdf

Escrevendo fórmulas na Wikipedia: http://en.wikipedia.org/wiki/Help:Formula

É um pouco complicado de início, mas depois as dores de cabeça ao se escrever trabalhos diminuem em 60%, afirma estudo.

E o Clube Cético aceita LaTeX?

Que eu saiba, não.

P.S.: O LaTeX tinha mesmo que ser escrito aXiM?

É pra diferenciar da palavra "latex". O nome na verdade é todo em maiúsculas, só que o "a" é sobrescrito e o "e" é subscrito.