The tanwin damma is character 024 (see arabsymb.sty
in the installation directory of ArabTeX). You can print that as a single character after switching to the Arabic font, see arabtex.sty
for some examples.
MWE:
\documentclass[12pt]{article}
\usepackage{arabtex}
\begin{document}
\setarab
\vocalize
\arabtrue
\RL{uN}
\makeatletter \bgroup \set@arabfont \char'024 \egroup \makeatother
\end{document}
Result:
Combined with the stackengine
package to recreate the example, using a circle from wasysym
:
\documentclass[12pt]{article}
\usepackage{arabtex}
\usepackage{stackengine}
\usepackage{wasysym}
\begin{document}
\setarab
\vocalize
\arabtrue
\makeatletter \bgroup \set@arabfont
\stackunder{\Circle}{\char'023}
\stackon{\Circle}{\char'024}
\stackon{\Circle}{\char'023}\par
% or a bit closer
\stackunder[1pt]{\Circle}{\char'023}
\stackon[1pt]{\Circle}{\char'024}
\stackon[1pt]{\Circle}{\char'023}
\egroup \makeatother
xelatex
orlualatex
?arabtex
is somewhat old.