long lemma names in a paper

Stream: general

[Yury G. Kudryashov]

I have a stupid question: what do you do if the name of a lemma you want to include in a paper (in an lstlisting) does not fit in one line?

[Anne Baanen]

I haven't found a better solution than \lstinline{some_long_lemma_}\-\lstinline{name_that_should_be_wrapped}.

[Rob Lewis]

I also sometimes rename things for a paper, with a note at the beginning that "some declarations have been renamed for the sake of presentation" or whatever

[Rob Lewis]

Or if it's only one declaration, a footnote with the real name

[Yury G. Kudryashov]

It's going to be many declarations: I have lots of names like docs#complex.two_pi_I_inv_smul_circle_integral_sub_inv_smul_of_differentiable_on_off_countable in the file about Cauchy integral.

[Yury G. Kudryashov]

I think, I'll rename lemmas to something more readable.

[Eric Wieser]

If you use minted instead then \mintinline[breaklines, breakafter=_]{lean} breaks automatically

[Yury G. Kudryashov]

Does minted need some lean configuration file?

[Eric Wieser]

It uses pygments

[Eric Wieser]

You need a recent install of pygments for it to work well

[Eric Wieser]

Note that most latex-accepting journals don't seem to run pygments themselves, but you can run it locally and "finalize" the cache, and then submit the post-highlighted cache.

[Yury G. Kudryashov]

What font do you use with minted?

[Yury G. Kudryashov]

Am I right that I need XeLaTeX/LuaLaTeX to have unicode symbols in listings?

[Rob Lewis]

Yury G. Kudryashov said:

Am I right that I need XeLaTeX/LuaLaTeX to have unicode symbols in listings?

I don't use minted, but not in general. You might need to add some extra symbols to lstlean.tex

[Eric Wieser]

Have a look at the source for my scalar actions paper on arXiv to see how I got minted to play ball