10.07.2015 Views

The microtype package

The microtype package

The microtype package

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

CONFIGURATION FILES: Character protrusion 1807133 "34 = { ,100}, % \ntrianglerighteq7134 "35 = {100, }, % \ntrianglelefteq7135 "36 = {100, }, % \ntriangleleft7136 "37 = { ,100}, % \ntriangleright7137 "38 = {100,200}, % \nleftarrow7138 "39 = {100,200}, % \nrightarrow7139 "3A = {100,100}, % \nLeftarrow7140 "3B = { 50,100}, % \nRightarrow7141 "3C = {100,100}, % \nLeftrightarrow7142 "3D = {100,200}, % \nleftrightarrow7143 "3E = { 50, 50}, % \divideontimes7144 "3F = { 50, 50}, % \varnothing7145 "60 = {200, }, % \Finv7146 "61 = { , 50}, % \Game7147 "68 = {100,100}, % \eqsim7148 "69 = { 50, }, % \beth7149 "6A = { 50, }, % \gimel7150 "6B = {150, }, % \daleth7151 "6C = {200, }, % \lessdot7152 "6D = { ,200}, % \gtrdot7153 "6E = {100,200}, % \ltimes7154 "6F = {150,100}, % \rtimes7155 "70 = { 50,100}, % \shortmid7156 "71 = { 50, 50}, % \shortparallel7157 "72 = {200,300}, % \smallsetminus7158 "73 = {100,200}, % \thicksim7159 "74 = { 50,100}, % \thickapprox7160 "75 = { 50, 50}, % \approxeq7161 "76 = { 50,100}, % \succapprox7162 "77 = { 50, 50}, % \precapprox7163 "78 = {100,100}, % \curvearrowleft7164 "79 = { 50,150}, % \curvearrowright7165 "7A = { 50,200}, % \digamma7166 "7B = {100, 50}, % \varkappa7167 "7F = {200, } % \backepsilonRemaining slots in the source file.7168 }71697170 15.8.8 EulerEuler Roman font (<strong>package</strong> euler).7171 7172 \SetProtrusion7173 [ name = euler ]7174 { encoding = U,7175 family = eur }7176 {7177 "01 = {100,100},7178 "03 = {100,150},7179 "06 = { ,100},7180 "07 = {100,150},7181 "08 = {100,100},7182 "0A = {100,100},7183 "0B = { , 50},7184 "0C = { ,100},7185 "0D = {100,100},7186 "0E = { ,100},7187 "0F = {100,100},7188 "10 = {100,100},7189 "13 = { ,100},7190 "14 = { ,100},

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!