Tag Info

Hot answers tagged

8

Activate the hyphen in the coqdoccode environment, defining it as a hyphen followed by a zero kern. \documentclass{article} \usepackage[T1]{fontenc} \newcommand{\activatehyphen}{% \begingroup\lccode`~=`- \lowercase{\endgroup\def~}{\char`\-\kern0pt }% \catcode`\-=\active } \newenvironment{coqdoccode} {\flushleft\activatehyphen\ttfamily} ...


2

I'm only answering to get the question from the "unanswered queue". Personally I don't think that it is a good idea to overload ascii chars like this. There are too much potential places (e.g. the bib-file) where the char needs to have the "other" meaning. I myself use \MakeAutoQuote{«}{»} together with a sensible shortcut in my editor to put the quotes ...


2

I do that with the xpatch package: \documentclass{article} \usepackage{csquotes} \usepackage{hyphenat} \usepackage[american]{babel} \usepackage[style=alphabetic, backend=biber]{biblatex} \usepackage{xpatch} \xpatchbibdriver{article}{% \printfield{version}% \newunit\newblock \usebibmacro{in:}% }% {% \printfield{version}% ...


1

If I am not very mistaken this is controlled by \newunitpunct (or maybe \newblockpunct), but redefining those will also change this punctuation at some other places in the entries.


1

\cite{reference1,reference2} should do the trick



Only top voted, non community-wiki answers of a minimum length are eligible