# Tag Info

0

You can make a command to typset quotation marks correctly without installing any packages. Add the following to your preamble: \renewcommand{\quote}[1]{#1''} and then simply type your in-text quote in place of <text> in the following \quote{<text>} Therefore, your document code should look like \documentclass{article} ...

1

The packages MinionPro and MyriadPro from FontPro can be used together. By default, the math font is not changed by MyriadPro. With the sansmath option, the sans serif of \mathsf is adjusted and an additional math version is defined to allow two math fonts with matching math symbols in one document (see the documentation for that). Thus, the code ...

1

\cite{reference1,reference2} should do the trick

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 ...

Top 50 recent answers are included