diff options
author | Antoine Gourlay <antoine@gourlay.fr> | 2014-09-15 12:02:12 +0200 |
---|---|---|
committer | Antoine Gourlay <antoine@gourlay.fr> | 2014-09-17 13:39:17 +0200 |
commit | bca19f35103c4ff1205e1c8054eb3f803217a18b (patch) | |
tree | 17d4d6b9d8c457fd3698196a5ae98c622d6e2ad4 /spec/10-xml-expressions-and-patterns.md | |
parent | 6e1916212e10e2797867ec2b38d71b004f7bcb62 (diff) | |
download | scala-bca19f35103c4ff1205e1c8054eb3f803217a18b.tar.gz scala-bca19f35103c4ff1205e1c8054eb3f803217a18b.tar.bz2 scala-bca19f35103c4ff1205e1c8054eb3f803217a18b.zip |
spec: fix latex formatting all over the place
Two things worth mentioning:
- `\em` and `emph` are not supported by MathJax,
- and things like `\mathcal{C}_0` require escaping the `_`,
otherwise markdown sees it as the beginning of `_some string_`.
It doesn't happen without the closing bracket in front, e.g. in `b_0`.
Diffstat (limited to 'spec/10-xml-expressions-and-patterns.md')
-rw-r--r-- | spec/10-xml-expressions-and-patterns.md | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/spec/10-xml-expressions-and-patterns.md b/spec/10-xml-expressions-and-patterns.md index d8c45ecf85..8d4b459844 100644 --- a/spec/10-xml-expressions-and-patterns.md +++ b/spec/10-xml-expressions-and-patterns.md @@ -37,10 +37,10 @@ Entity references are not resolved at runtime. Element ::= EmptyElemTag | STag Content ETag -EmptyElemTag ::= ‘<’ Name {S Attribute} [S] ‘/>’ +EmptyElemTag ::= ‘<’ Name {S Attribute} [S] ‘/>’ -STag ::= ‘<’ Name {S Attribute} [S] ‘>’ -ETag ::= ‘</’ Name [S] ‘>’ +STag ::= ‘<’ Name {S Attribute} [S] ‘>’ +ETag ::= ‘</’ Name [S] ‘>’ Content ::= [CharData] {Content1 [CharData]} Content1 ::= XmlContent | Reference @@ -68,7 +68,7 @@ character `\u0020`. This behavior can be changed to preserve all whitespace with a compiler option. ```ebnf -Attribute ::= Name Eq AttValue +Attribute ::= Name Eq AttValue AttValue ::= ‘"’ {CharQ | CharRef} ‘"’ | ‘'’ {CharA | CharRef} ‘'’ @@ -76,8 +76,8 @@ AttValue ::= ‘"’ {CharQ | CharRef} ‘"’ ScalaExpr ::= Block -CharData ::= { CharNoRef } $\mbox{\rm\em without}$ {CharNoRef}`{'CharB {CharNoRef} - $\mbox{\rm\em and without}$ {CharNoRef}`]]>'{CharNoRef} +CharData ::= { CharNoRef } $\textit{ without}$ {CharNoRef}`{'CharB {CharNoRef} + $\textit{ and without}$ {CharNoRef}`]]>'{CharNoRef} ``` <!-- {% raw %} stupid liquid borks on the double brace below; brace yourself, liquid! --> @@ -90,17 +90,17 @@ Thus, `{{` represents the XML text `{` and does not introduce an embedded Scala ```ebnf BaseChar, Char, Comment, CombiningChar, Ideographic, NameChar, S, Reference - ::= $\mbox{\rm\em “as in W3C XML”}$ + ::= $\textit{“as in W3C XML”}$ -Char1 ::= Char $\mbox{\rm\em without}$ ‘<’ | ‘&’ -CharQ ::= Char1 $\mbox{\rm\em without}$ ‘"’ -CharA ::= Char1 $\mbox{\rm\em without}$ ‘'’ -CharB ::= Char1 $\mbox{\rm\em without}$ ‘{’ +Char1 ::= Char $\textit{ without}$ ‘<’ | ‘&’ +CharQ ::= Char1 $\textit{ without}$ ‘"’ +CharA ::= Char1 $\textit{ without}$ ‘'’ +CharB ::= Char1 $\textit{ without}$ ‘{’ Name ::= XNameStart {NameChar} XNameStart ::= ‘_’ | BaseChar | Ideographic - $\mbox{\rm\em (as in W3C XML, but without }$ ‘:’ + $\textit{ (as in W3C XML, but without }$ ‘:’$)$ ``` ## XML patterns |