0

I'm currently trying to typeset a model of Theodore Sider's Logic for Philosophy and struggle to get a self-referring loop in TikZ. The model itself was already solved in another post here: Stack Logic Symbols in Tikz. However, I'd need such loops as in this picture at the boxes c and d:

Model for modal logic

I tried to do it but my arrows all come out weird:

My trials for making loops in TikZ

And the corresponding code (I called the node of the box (4)):

\draw [->] (4) to [out=240,in=150,looseness=8] (4);
\path[draw=red,->] (4) to[ below, loop, out=180+70, in=180+50, min distance=10mm] (4);

Could someone help me? Thank you in advance!

A draft of the book can be found here: https://gelogica.weebly.com/uploads/2/6/6/1/26617550/sider_logic_for_philosophy.pdf

3
  • 1
    Try drawing a rectangular path with option rounded corners (see manual), assign an arrow tip. Locate it at south.west of (4). // The red curve is just a second try?
    – MS-SPO
    Sep 2, 2022 at 15:50
  • 1
    I'll give it a try. Thank you! And yes, the red one was a second try,
    – pahohu
    Sep 2, 2022 at 15:52
  • I found another solution that's working for me: \draw (arrow1) edge[in=-180,out=-90,scale=1.5,loop] (arrow1);
    – pahohu
    Sep 2, 2022 at 22:33

1 Answer 1

1
\documentclass[tikz, border=1cm]{standalone}
\usetikzlibrary{arrows.meta}
\begin{document}   
\begin{tikzpicture}
\node[draw, align=center, minimum height=1.2cm] (node) at (0,0) {1\\$P$};
\draw[-{Stealth[round]}, shorten <=3pt, shorten >=3pt] (node.south west) to[out=-90, in=180, distance=1cm] (node.south west);
\end{tikzpicture}
\end{document}

Box with looped arrow

1
  • Thank you so much, that's exactly what I was looking for!
    – pahohu
    Sep 3, 2022 at 7:17

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .