Nice quotes in TeX output

[s5bug]

Perhaps this question belongs somewhere else, but searching for rst quote tex and similar queries came up short:

I have quoted phrases in my .v:

And these quotes always produce right-quotes:

when I would like them to produce quote-pairs:

The rules that build my .tex and .pdf are the following:

$(RSTV_TEXES): %.v.tex: %.v $(patsubst %.dot,%.dot.tex,$(wildcard *.dot))
    alectryon --frontend coq+rst --backend latex --latex-dialect xelatex $< --output $@

$(RSTV_PDFS): %.pdf: %.v.tex
    latexmk -xelatex $^ -jobname=$* -interaction=nonstopmode

and I have a docutils.conf like so:

[xetex writer]
documentclass: scrartcl
latex-preamble:
  \usepackage{amsfonts}
  \usepackage{amssymb}
  \usepackage{tikz}
  \usetikzlibrary{shapes.geometric}

Any suggestions on how to fix this / where to move this issue to are very much appreciated 🙇

[cpitclaudel]

I believe you want "smart quotes": https://docutils.sourceforge.io/docs/user/smartquotes.html ; does that work?

[s5bug]

Yippee thank you!

[cpitclaudel]

Woot! Thanks for the update. Please do send me a link if you put your document online, so I can put it in the gallery :)

[s5bug]

As much as I'd love to, I don't think my professor would be too fond of me publicly sharing homework answers 😅