Símbolos de Lógica Modal

124 views
Skip to first unread message

Érica de Oliveira Carvalho

unread,
Jun 23, 2013, 10:37:17 AM6/23/13
to late...@googlegroups.com
Prezados,

Estou tentando utilizar símbolos da lógica modal em LaTeX.  O $\diamond$ funciona bem, mas
não tenho o mesmo sucesso com o $\Box$ ou $\box$.  Alguém saberia se é necessário adicionar
algum pacote ou outra coisa?

Desde já agradeço!

Abraços!

Lauro César

unread,
Jun 24, 2013, 11:54:24 AM6/24/13
to late...@googlegroups.com
Oi Érica

Uso muito o site LaTeX for Logicians:

http://www.logicmatters.net/latex-for-logicians/

Quanto a sua dúvida, use:  \usepackage{latexsym}

Para outros símbolos, veja: www.ctan.org/tex-archive/info/symbols/comprehensive/symbols-a4.pdf

Att.,

Lauro César


2013/6/23 Érica de Oliveira Carvalho <oc.e...@gmail.com>

--
Você está recebendo esta mensagem porque se inscreveu no grupo "Latex-br" dos Grupos do Google.
Para cancelar a inscrição neste grupo e parar de receber seus e-mails, envie um e-mail para latex-br+u...@googlegroups.com.
Para obter mais opções, acesse https://groups.google.com/groups/opt_out.
 
 

Érica de Oliveira Carvalho

unread,
Jun 24, 2013, 1:56:30 PM6/24/13
to late...@googlegroups.com
Valeu, Lauro!  Resolveu!

Mas ainda estou com problemas com as figuras, que não estão mais aparecendo, mesmo
quando não acusa erro nenhum!

Por exemplo:

\begin{figure}[htb]

\begin{center}

    \includegraphics[scale=0.8]{imagens/tabela_modal.pdf}

  \caption{\label{fig_m3hier} Fórmulas modais }

  \caption*{Fonte:} 

\end{center} 

\end{figure}


Abraço!

Érica.

Lauro César

unread,
Jun 24, 2013, 2:18:16 PM6/24/13
to late...@googlegroups.com
Erica

Você confirmou o endereço da imagem? Você está usando \caption*, então você não está no modelo do abnTeX2, correto?


2013/6/24 Érica de Oliveira Carvalho <oc.e...@gmail.com>

Érica de Oliveira Carvalho

unread,
Jun 24, 2013, 2:19:43 PM6/24/13
to late...@googlegroups.com
Não, ainda é da época do 4 Colóquio... :)

Estou esperando o abnTeX 3...

Elvio Prado

unread,
Jun 24, 2013, 7:00:17 PM6/24/13
to late...@googlegroups.com
Oi Erica

Não sei se ajuda, mas quando necessito de algum símbolo eu recorro a este site:

http://detexify.kirelabs.org/classify.html

Desenhe o simbolo que você quer no local especificado no site
e o mesmo te dará uma lista de sugestões.

Para encontrar este site eu sempre digito no google: LaTeX symbol recognition

Abraço
ELVIO
 
==================================================
Elvio Prado da Silva
Professor do IFBA-Instituto Federal da Bahia
Área de Elétrica
De: Érica de Oliveira Carvalho <oc.e...@gmail.com>
Para: late...@googlegroups.com
Enviadas: Domingo, 23 de Junho de 2013 11:37
Assunto: [LaTeX-br] Símbolos de Lógica Modal

Lauro César

unread,
Jun 25, 2013, 5:58:16 AM6/25/13
to late...@googlegroups.com
Elvio

Esse Detexify2 - LaTeX symbol classifier é simplesmente fantástico! Obrigado por compartilhar conosco!

Adicionei o link na wiki do abnTeX2: 

https://code.google.com/p/abntex2/wiki/Ferramentas#Escrever_Online

Abraços!

Lauro César


2013/6/24 Elvio Prado <elvi...@yahoo.com.br>

Lauro César

unread,
Jun 25, 2013, 6:00:31 AM6/25/13
to late...@googlegroups.com
Pessoal

O software indicado pelo Elvio é muito interessante! E é escrito em Haskell. Os amantes de Matemática, de programação e de LaTeX irão se divertir com o código-fonte:

https://github.com/kirel/detexify-hs-backend

Abraços!

Lauro César


2013/6/25 Lauro César <lauro...@gmail.com>

Érica de Oliveira Carvalho

unread,
Jun 25, 2013, 7:06:28 AM6/25/13
to late...@googlegroups.com
Muito legal, Elvio!

E ainda indica o pacote correspondente!!

Valeu!!
Reply all
Reply to author
Forward
0 new messages