[pt-br-usuarios] Símbolos de Lógica de Primeira Ordem

Marcio Minicz <minicz -AT- uol.com.br>

Sat, 17 Aug 2013 06:24:09 -0300

Pessoal,

Estou precisando de 3 símbolos de lógica de primeira ordem no Math, mas

não estou encontrando. São os seguintes símbolos (em LaTex): \vdash,

\dashv e \forall.

Pelo que percebi, eles não estão disponíveis no LibreOffice... qual a

forma mais simples (de preferência a melhor) para aplicar esses símbolos?

Obrigado Márcio Minicz

PS: Lembro que algum tempo atras o Olivier incluiu símbolos no Math.

Qual o grau de dificuldade de fazer isso? Existe alguma forma

"dinâmica", isto é, que não precisa recompilar o LO?

-- Você está recebendo e-mails da lista usuarios@pt-br.libreoffice.org # Informações sobre os comandos disponíveis (em inglês): mande e-mail vazio para usuarios+unsubscribe@pt-br.libreoffice.org # Cancelar sua assinatura: mande e-mail vazio para: usuarios+unsubscribe@pt-br.libreoffice.org # Arquivo de mensagens: http://listarchives.libreoffice.org/pt-br/usuarios/

Context

Privacy Policy | Impressum (Legal Info) | Copyright information: Unless otherwise specified, all text and images on this website are licensed under the Creative Commons Attribution-Share Alike 3.0 License. This does not include the source code of LibreOffice, which is licensed under the Mozilla Public License (MPLv2). "LibreOffice" and "The Document Foundation" are registered trademarks of their corresponding registered owners or are in actual use as trademarks in one or more countries. Their respective logos and icons are also subject to international copyright laws. Use thereof is explained in our trademark policy.