TeX source:

\{\mathrm {onions,potatoes} \}\Rightarrow \{\mathrm {burger} \}