I am trying to find the type of fonts from this definition 
. Specially for the words:
Combine,Reveal,gen,enc,dec. An experienced user might know this font
-
1Side 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 Aschan 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
-
1@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
-
1@egreg Done: tex.stackexchange.com/q/58098/4012 – doncherry Jun 1 '12 at 9:25
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.
\documentclass{article}
\usepackage{amsmath,amssymb}
\newtheorem{definition}{Definition}
\newcommand{\afunc}[1]{\operatorname{\mathsf{#1}}}
\newcommand{\bfunc}[1]{\operatorname{\mathtt{#1}}}
\newcommand{\contract}[1][\mathcal{C}]{\mathcal{#1}}
\newcommand{\Set}[1]{\mathbb{#1}}
\begin{document}
\begin{definition}
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
\(\bfunc{Reveal}(sk,c)=f_{\contract}(m_{1},\dots,m_{n})\).
\end{definition}
\end{document}
