tamarin-prover-utils-1.2.2: Utility library for the tamarin prover.

Copyright(c) 2010 Simon Meier
LicenseGPL v3 (see LICENSE)
MaintainerSimon Meier <iridcode@gmail.com>
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

Text.Unicode

Description

Support functions for exploiting Unicode characters.

Synopsis

Documentation

subscriptChar :: Char -> Char #

Convert a subscriptable character to its subsript.

subscript :: String -> String #

Convert all subscriptable characters to subscripts.