TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am trying to find the type of fonts from this definition definition. Specially for the words: Combine,Reveal,gen,enc,dec. An experienced user might know this font

share|improve this question
Side note: that has to be one of the most hard-to-decipher definitions I've ever stumbled upon. And not because of the typography - that part's fine - but because of all the cross-referencing. (Might have to do with the fact that it's completely out of my field, too :P) – Tomas Lycken Jun 1 '12 at 1:30
possible duplicate of How do I find out what fonts are used in a document/picture? – doncherry Jun 1 '12 at 7:42
@doncherry I believe it's not "how to find the name of the fonts", but "how do I produce those font variations with LaTeX". The actual fonts used are not relevant, IMO. – egreg Jun 1 '12 at 8:59
@egreg: Good point. That makes me think of a one-catches-all question "What are the different fonts that I can use in math mode?", would that make sense? – doncherry Jun 1 '12 at 9:02
@egreg Done: tex.stackexchange.com/q/58098/4012 – doncherry Jun 1 '12 at 9:25
up vote 20 down vote accepted

That "gen" is obtained with \mathsf, while "Reveal" with \mathtt. Here's a way to write that passage; I added some personal commands in order to abstract the font assignments, so that changing them is a matter of only changing the definition in the preamble.





A contract function \(f_{\contract}\colon\Set{P}^{*}\to\Set{R}\) is said
to support cryptodatabases processing under the encryption scheme
\(\langle\afunc{gen},\afunc{enc},\afunc{dec}\rangle\) if the following
condition holds: there exist two functions \(\bfunc{Combine}\) and
\(\bfunc{Reveal}\) so that, for any \(n\in\Set{N}\) and any
\(m_{1},\dots,m_{n}\in\afunc{D}_{\contract}\), if
\(\langle pk,sk\rangle\gets\afunc{gen}(1^n)\),
\(c_{i}\gets\afunc{enc}(pk,m_{i})\) for \(i=1,\dots,n\) and
\(c\gets\bfunc{Combine}(c_{1},\dots,c_{n})\), then we have


enter image description here

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.