source: Deliverables/D1.2/CompilerProofOutline/skull.sty @ 1718

Last change on this file since 1718 was 1718, checked in by mulligan, 8 years ago

added skull.sty for daemon (skull) symbol

File size: 513 bytes
Line 
1%%
2%% This is file `skull.sty',
3%% generated with the docstrip utility.
4%%
5%% The original source files were:
6%%
7%% skull.dtx
8%%    Pakke til at lave dødningehoveder.
9\NeedsTeXFormat{LaTeX2e}[1995/12/01]
10\ProvidesPackage{skull}
11  [2002/01/23 v0.1 (c) Henrik Christian Grove <grove@math.ku.dk>]
12\DeclareFontFamily{U}{skulls}{}
13\DeclareFontShape{U}{skulls}{m}{n}{ <-> skull }{}
14\DeclareSymbolFont{SKULL}{U}{skulls}{m}{n}
15\DeclareMathSymbol{\skull}{\mathalpha}{SKULL}{'101}
16\endinput
17%%
18%% End of file `skull.sty'.
Note: See TracBrowser for help on using the repository browser.