1487 |
(if extra-props-flag |
(if extra-props-flag |
1488 |
`(face font-latex-subscript-face display |
`(face font-latex-subscript-face display |
1489 |
,(car font-latex-script-display)) |
,(car font-latex-script-display)) |
1490 |
font-latex-subscript-face) |
'font-latex-subscript-face) |
1491 |
(if extra-props-flag |
(if extra-props-flag |
1492 |
`(face font-latex-superscript-face display |
`(face font-latex-superscript-face display |
1493 |
,(cdr font-latex-script-display)) |
,(cdr font-latex-script-display)) |
1494 |
font-latex-superscript-face))))) |
'font-latex-superscript-face))))) |
1495 |
|
|
1496 |
|
|
1497 |
;;; docTeX |
;;; docTeX |