13

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

  • 1
    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 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
23

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}

enter image description here

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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