Towards An Operational (La)T EX Package Supporting Optical Scaling - - PowerPoint PPT Presentation

▶
towards an operational la t ex package supporting optical
SMART_READER_LITE
LIVE PREVIEW

Towards An Operational (La)T EX Package Supporting Optical Scaling - - PowerPoint PPT Presentation

Mar 20, 2023 170 likes •576 views

Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols Abdelouahad BAYAR a.bayar@uca.ma Cadi Ayyad

slide-1
SLIDE 1 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols Abdelouahad BAYAR a.bayar@uca.ma Cadi Ayyad University École Supérieure de Technologie de Safi (High College of Technology) July 27, 2016
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 1
slide-2
SLIDE 2 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols Introduction Handling of dynamic mathematical symbols is still a hard problem (Some)T EX and PostScript Type 3 to supply a solution A T EX (luaT EX) package supporting optical scaling and supplying the habitual way to format scientific documents
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 2
slide-3
SLIDE 3 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols Outline 1 Mathematical formula: State and Problems 2 The Requirements to handle dynamic mathematical symbols taking care of optical scaling 3 The Design of the system 4 Implementation
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 3
slide-4
SLIDE 4 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols Mathematical formula: State and Problems Class of mathematical Symbols Static mathematical symbols Variable sized symbols (Dynamic mathematical symbols)
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 4
slide-5
SLIDE 5 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols Mathematical formula: State and Problems Variable Mathematical Symbols and Variations-scaling Linear scaling
  • a11x1 + · · ·
a21x1 + · · · a11x1 + · · · a21x1 + · · · a31x1 + · · · a11x1 + · · · a21x1 + · · · a31x1 + · · · a41x1 + · · ·
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 5
slide-6
SLIDE 6 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols Mathematical formula: State and Problems Variable Mathematical Symbols and Variations-scaling Linear scaling
  • a11x1 + · · ·
a21x1 + · · · a11x1 + · · · a21x1 + · · · a31x1 + · · · a11x1 + · · · a21x1 + · · · a31x1 + · · · a41x1 + · · · Optical scaling
  • a11x1 + · · ·
a21x1 + · · · a11x1 + · · · a21x1 + · · · a31x1 + · · · a11x1 + · · · a21x1 + · · · a31x1 + · · · a41x1 + · · ·
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 5
slide-7
SLIDE 7 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols Mathematical formula: State and Problems Metal/Digital Typesetting and Optical Scaling Metal typesetting Digital typesetting
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 6
slide-8
SLIDE 8 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols Mathematical formula: State and Problems Existing Works math-fly/Grif Curext T EX/L AT EX Support of mathematical formulas with multiple variable-sized symbols     a b c d
  • e
f g h
  • i
j k l
  
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 7
slide-9
SLIDE 9 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols Mathematical formula: State and Problems Existing Works T EX/L AT EX The thickness remains constant after some level Some symbols differ from corresponding ones in metal typesetting with regard to the shape after a level of size ( )                              
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 8
slide-10
SLIDE 10 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols Mathematical formula: State and Problems Existing Works T EX/L AT EX Some symbols differ from their corresponding in metal typesetting with regard to the shape at all sizes. {                           
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 9
slide-11
SLIDE 11 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Requirements to handle dynamic mathematical symbols taking care of optical scaling Font requirements Document processing system requirements use Requirements by end-users Required Font for (La)\T EX: PostScript Type 3
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 10
slide-12
SLIDE 12 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system General package layout dynMath.tex . . . \special{! . . . some useful PostScript procedures /w 0 def /h 0 def /fs 0 def /dynMathFont 8 dict def dynMathFont begin /FontType 3 def /FontMatrix [0.001 0 0 0.001 0 0] def /FontBBox [ 0 0 1000 1000] def /Encoding 256 array def 0 1 255 {Encoding exch /.notdef put} for
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 11
slide-13
SLIDE 13 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system General package layout dynMath.tex Encoding 0 /leftPar put % Left parenthesis = 0 Encoding 1 /rightPar put % Right parenthesis = 1 Encoding 8 /leftBrace put % Left brace = 8 Encoding 9 /rightBrace put % Right brace = 9 . . . . . ./Charprocs - individual glyph descriptions . . . . . ./BuildGlyph definition . . . . . ./BuildChar defintion . . .
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 12
slide-14
SLIDE 14 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system General package layout dynMath.tex currentdict end % End of font dictionary /dynMath exch definefont pop% } . . . . . . Some useful T EX defintions . . . % #1:left delimiter, #2:formula, #3:right delimiter \def\meLeft#1#2\meRight#3{ . . . macro defintion }
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 13
slide-15
SLIDE 15 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system General package layout \meLeft macro The macro \meLeft has to : 1 Compute the dimensions of the formula (in the correct math style): \hf, \df and \wf 2 Determine vertical and horizontal stretching amounts: \h and \w 3 Calculate the size of the font \fs in which dynMath will be used 4 Determine the dimensions of the left symbol: \symHeight, \symWidth and \symDepth
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 14
slide-16
SLIDE 16 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system General package layout \meLeft macro 5 Build an horizontal box \efbDel: \setbox\efbDel\hbox { \special{” ... /fs ... store /h ... store /w ... store /dynMath findfont fs scalefont setfont <code of The left symbol> show } } 6 Set the dimensions of \efbDel to \symHeight, \symWidth and \symDepth 7 Write the content of \efbDel
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 15
slide-17
SLIDE 17 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system General package layout \meLeft macro 8 Write the mathematical formula 9 Apply steps from the second to the seventh to deal with the right delimiter
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 16
slide-18
SLIDE 18 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system Design of dynMath font Symbol parametrizing stretching - Concepts
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 17
slide-19
SLIDE 19 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system Design of dynMath font Symbol parametrizing stretching - Concepts
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 18
slide-20
SLIDE 20 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system Optical scaling support Mathematical formula characteristics High mathematical formula h32 y1 y2 hm hm fh fd Baseline math axis
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 19
slide-21
SLIDE 21 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system Optical scaling support Mathematical formula characteristics Deep mathematical formula h32 y1 y2 hm hm fh fd Baseline math axis
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 20
slide-22
SLIDE 22 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system Optical scaling support Scaling - hm ≤ h32 fs = 1003.75×hm h1000 h32 y1 y2 hm hm fh fd B a s e l i n e m a t h a x i s
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 21
slide-23
SLIDE 23 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system Optical scaling support Scaling - hm ≤ h32 fs = 1003.75×hm h1000 h32 y1 y2 hm hm fh fd B a s e l i n e m a t h a x i s
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 21
slide-24
SLIDE 24 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system Optical scaling support Scaling - hm > h32 h32 y1 y2 hm hm fh fd B a s e l i n e m a t h a x i s
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 22
slide-25
SLIDE 25 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system Optical scaling support Scaling - hm > h32 h32 y1 y2 hm hm fh fd B a s e l i n e m a t h a x i s
  • h32 hfs
h y1 y2 hm hm fh fd B a s e l i n e m a t h a x i s
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 22
slide-26
SLIDE 26 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system Optical scaling support Scaling - hm > h32 hp max = 32700×32 1000 = 1190.4
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 23
slide-27
SLIDE 27 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system Optical scaling support Scaling - hm > h32 hp max = 32700×32 1000 = 1190.4 hmax = 1.00375 × hp maxpt
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 23
slide-28
SLIDE 28 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system Optical scaling support Scaling - hm > h32 hp max = 32700×32 1000 = 1190.4 hmax = 1.00375 × hp maxpt hmax = 1194.864pt
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 23
slide-29
SLIDE 29 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system Optical scaling support Scaling - hm > h32 e (hm) = c1hm + c0 such that: e (h32) = e32 e (hmax) = λe32 e32: thickness of the dynamic symbol in body 32 λ: a scaling factor (3.236) h32 y1 y2 hm hm fh fd B a s e l i n e m a t h a x i s
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 24
slide-30
SLIDE 30 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system Optical scaling support Scaling - hm > h32 fs = 1003.75 e1000 e
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 25
slide-31
SLIDE 31 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system Optical scaling support Scaling - hm > h32 fs = 1003.75 e1000 e h32 y1 y2 hm hm fh fd B a s e l i n e m a t h a x i s
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 25
slide-32
SLIDE 32 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system Optical scaling support Scaling - hm > h32 fs = 1003.75 e1000 e hfs = h1000 1003.75fs h32 hfs h y1 y2 hm hm fh fd B a s e l i n e m a t h a x i s
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 26
slide-33
SLIDE 33 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system Optical scaling support Scaling - hm > h32 fs = 1003.75 e1000 e hfs = h1000 1003.75fs h = hm − hfs h32 hfs h y1 y2 hm hm fh fd B a s e l i n e m a t h a x i s
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 26
slide-34
SLIDE 34 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system Optical scaling support Scaling - hm > h32 fs = 1003.75 e1000 e hfs = h1000 1003.75fs h = hm − hfs w=function(h) h32 hfs h y1 y2 hm hm fh fd B a s e l i n e m a t h a x i s
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 26
slide-35
SLIDE 35 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system Optical scaling support Scaling - hm > h32 h32 hfs h y1 y2 hm hm fh fd B a s e l i n e m a t h a x i s
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 27
slide-36
SLIDE 36 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system Optical scaling support Scaling - hm > h32 h32 hfs h y1 y2 hm hm fh fd B a s e l i n e m a t h a x i s
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 28
slide-37
SLIDE 37 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols The Design of the system Optical scaling support Scaling - hm > h32 h32 hfs h y1 y2 hm hm fh fd B a s e l i n e m a t h a x i s
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 29
slide-38
SLIDE 38 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols Implementation dynMath: Simple T EX source File dynMath: Mini-package dynMath for all(T EX): limited and slow dynMath for LuaT EX (dviluaT EX and dviluaL AT EX): good
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 30
slide-39
SLIDE 39 Towards An Operational (La)T EX Package Supporting Optical Scaling of Dynamic Mathematical Symbols Conclusions and Perspectives Conclusions: Support of dynamic mathematical symbols with respect to Optical Scaling is feasible. The feasibility is proved with Parentheses and Braces which are adequate representing samples. Perspectives: Support of all dynamic mathematical symbols Improvement of quality of symbols (Study of optical scaling considering the artistic viewpoint)
  • A. BAYAR - EST-Safi/CAU
TUG 2016: July 25-27, 2016 / The 37th Annual Meeting / Toronto, Canada 31