equal
deleted
inserted
replaced
334 & sub* |
334 & sub* |
335 & date* |
335 & date* |
336 & name* |
336 & name* |
337 } |
337 } |
338 |
338 |
339 inlines = |
339 inlines = mixed { |
340 simple.inlines |
340 sup* |
|
341 & sub* |
|
342 & date* |
|
343 & name* |
|
344 |
341 & highlight* |
345 & highlight* |
342 & emphasis* |
346 & emphasis* |
343 & link* |
347 & link* |
|
348 } |
344 |
349 |
345 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
350 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
346 |
351 |
347 sup = element sup { simple.inlines } |
352 sup = element sup { simple.inlines } |
348 |
353 |