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

Márcio,

O símbolo "para todos; para qualquer; para cada" já existe. Está na opção
"outros" do menu de contexto na caixa de comandos.

Já os símbolos de intervalo de classe, talvez a dica de utilizar a extensão
OOoLatex resolva. (
https://groups.google.com/forum/#!msg/profmat/a4JDf7gtSxc/IVvUYBCnK1QJ)

Saudações solidárias,

João


Em 17 de agosto de 2013 06:24, Marcio Minicz <minicz@uol.com.br> escreveu:

> 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<usuarios%2Bunsubscribe@pt-br.libreoffice.org>
> # Cancelar sua assinatura: mande e-mail vazio para:
>  usuarios+unsubscribe@pt-br.**libreoffice.org<usuarios%2Bunsubscribe@pt-br.libreoffice.org>
> # Arquivo de mensagens: http://listarchives.**libreoffice.org/pt-br/**
> usuarios/ <http://listarchives.libreoffice.org/pt-br/usuarios/>

-- 
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/