element <proof> (global)
Namespace:
{no namespace}
Type:
anonymous complexType
Content:
complex, 6 attributes, 22 elements
Defined:
globally in pretext.xsd; see XML source
Includes:
definition of 1 element
Used:
at 3 locations
XML Representation Summary
<proof
   
xml:id
 = 
xs:anySimpleType
label
 = 
xs:anySimpleType
permid
 = 
xs:anySimpleType
component
 = 
xs:anySimpleType
xml:base
 = 
xs:anySimpleType
xml:lang
 = 
xs:anySimpleType
   
>
   
Content: 
title?, idx*, (p | blockquote | pre | image | image | video | program | console | tabular | figure | table | listing | list | aside | biographical | historical | sidebyside | sbsgroup | sage | case)+
</proof>
Content model elements (22):
aside,
biographical,
blockquote,
case,
console,
figure,
historical,
idx,
image (defined in ImageCode group),
image (defined in ImageRaster group),
list,
listing,
p (defined in Paragraph group),
pre,
program,
sage,
sbsgroup (defined in SideBySideGroup group),
sidebyside (defined in SideBySide group),
table,
tabular,
title (defined in Title group),
video
Included in content model of elements (21):
algorithm,
answer,
appendix (in backmatter in article),
appendix (in backmatter in book),
article,
chapter,
claim,
conclusion (defined in ConclusionDivision group),
corollary,
fact,
hint (defined in Hint group),
identity,
introduction (defined in IntroductionDivision group),
lemma,
paragraphs (defined in Paragraphs group),
proposition,
section,
solution (defined in Solution group),
subsection,
subsubsection,
theorem
Known Usage Locations
XML Source (see within schema source)
<xs:element name="proof">
<xs:complexType>
<xs:sequence>
<xs:group ref="MetaDataTitleOptional"/>
<xs:choice maxOccurs="unbounded">
<xs:group ref="BlockStatement"/>
<xs:element ref="case"/>
</xs:choice>
</xs:sequence>
<xs:attributeGroup ref="MetaDataTitleOptional"/>
</xs:complexType>
</xs:element>
Content Element Detail (all declarations; defined within this component only; 1/22)
case
Type:
anonymous complexType, complex content
XML Source (see within schema source)
<xs:element ref="case"/>
XML schema documentation generated with FlexDoc/XML 1.12.5 using FlexDoc/XML XSDDoc 2.9.2 template set