The microtype package

CONFIGURATION FILES: Character protrusion 1776956 }6957Remaining slots in the source file.We don’t bother about ‘largesymbols’, since it will only be used in display math,where protrusion doesn’t work anyway. It’s declared as:\DeclareSymbolFont{largesymbols}{OMX}{cmex}{m}{n}6958 6959 15.8.7 AMS symbolsSettings for the AMS math fonts (amssymb).6960 Symbol font ‘a’.6961 6962 \SetProtrusion6963 [ name = AMS-a ]6964 { encoding = U,6965 family = msa }6966 {6967 "05 = {150,250}, % \centerdot6968 "06 = {100,100}, % \lozenge6969 "07 = { 50, 50}, % \blacklozenge6970 "08 = { 50, 50}, % \circlearrowright6971 "09 = { 50, 50}, % \circlearrowleft6972 "0A = {100,100}, % \rightleftharpoons6973 "0B = {100,100}, % \leftrightharpoons6974 "0D = {-50,200}, % \Vdash6975 "0E = {-50,200}, % \Vvdash6976 "0F = {-70,150}, % \vDash6977 "10 = {100,150}, % \twoheadrightarrow6978 "11 = {100,150}, % \twoheadleftarrow6979 "12 = { 50,100}, % \leftleftarrows6980 "13 = { 50, 80}, % \rightrightarrows6981 "14 = {120,120}, % \upuparrows6982 "15 = {120,120}, % \downdownarrows6983 "16 = {200,200}, % \upharpoonright6984 "17 = {200,200}, % \downharpoonright6985 "18 = {200,200}, % \upharpoonleft6986 "19 = {200,200}, % \downharpoonleft6987 "1A = { 80,100}, % \rightarrowtail6988 "1B = { 80,100}, % \leftarrowtail6989 "1C = { 50, 50}, % \leftrightarrows6990 "1D = { 50, 50}, % \rightleftarrows6991 "1E = {250, }, % \Lsh6992 "1F = { ,250}, % \Rsh6993 "20 = {100,100}, % \rightsquigarrow6994 "21 = {100,100}, % \leftrightsquigarrow6995 "22 = {100, 50}, % \looparrowleft6996 "23 = { 50,100}, % \looparrowright6997 "24 = { 50, 80}, % \circeq6998 "25 = { ,100}, % \succsim6999 "26 = { ,100}, % \gtrsim7000 "27 = { ,100}, % \gtrapprox7001 "28 = {150, 50}, % \multimap7002 "2B = {100,150}, % \doteqdot7003 "2C = {100,150}, % \triangleq7004 "2D = {100, 50}, % \precsim7005 "2E = {100, 50}, % \lesssim7006 "2F = { 50, 50}, % \lessapprox