]> git.lyx.org Git - lyx.git/blob - autotests/export/docbook/Additional_lyxcode.lyx
DocBook: implement theorems.
[lyx.git] / autotests / export / docbook / Additional_lyxcode.lyx
1 #LyX 2.4 created this file. For more info see https://www.lyx.org/
2 \lyxformat 598
3 \begin_document
4 \begin_header
5 \save_transient_properties true
6 \origin unavailable
7 \textclass scrbook
8 \begin_preamble
9 % DO NOT ALTER THIS PREAMBLE!!!
10 %
11 % This preamble is designed to ensure that the manual prints
12 % out as advertised. If you mess with this preamble,
13 % parts of the manual may not print out as expected.  If you
14 % have problems LaTeXing this file, please contact 
15 % the documentation team
16 % email: lyx-docs@lists.lyx.org
17
18 % the pages of the TOC are numbered roman
19 % and a PDF-bookmark for the TOC is added
20 \pagenumbering{roman}
21 \let\myTOC\tableofcontents
22 \renewcommand{\tableofcontents}{%
23  \pdfbookmark[1]{\contentsname}{}
24  \myTOC
25  \cleardoublepage
26  \pagenumbering{arabic}}
27
28 % extra space for tables
29 \newcommand{\extratablespace}[1]{\noalign{\vskip#1}}
30 \end_preamble
31 \options bibliography=totoc,index=totoc,BCOR7.5mm,titlepage,captions=tableheading
32 \use_default_options false
33 \begin_modules
34 logicalmkup
35 theorems-ams
36 theorems-ams-extended
37 multicol
38 shapepar
39 \end_modules
40 \maintain_unincluded_children no
41 \language english
42 \language_package default
43 \inputencoding utf8
44 \fontencoding auto
45 \font_roman "lmodern" "default"
46 \font_sans "lmss" "default"
47 \font_typewriter "lmtt" "default"
48 \font_math "auto" "auto"
49 \font_default_family default
50 \use_non_tex_fonts false
51 \font_sc false
52 \font_roman_osf false
53 \font_sans_osf false
54 \font_typewriter_osf false
55 \font_sf_scale 100 100
56 \font_tt_scale 100 100
57 \use_microtype false
58 \use_dash_ligatures true
59 \graphics default
60 \default_output_format pdf2
61 \output_sync 0
62 \bibtex_command default
63 \index_command default
64 \paperfontsize 12
65 \spacing single
66 \use_hyperref true
67 \pdf_title "LyX's Additional Features manual"
68 \pdf_author "LyX Team"
69 \pdf_subject "LyX's additional features documentation"
70 \pdf_keywords "LyX, Documentation, Additional"
71 \pdf_bookmarks true
72 \pdf_bookmarksnumbered true
73 \pdf_bookmarksopen false
74 \pdf_bookmarksopenlevel 1
75 \pdf_breaklinks false
76 \pdf_pdfborder false
77 \pdf_colorlinks true
78 \pdf_backref false
79 \pdf_pdfusetitle false
80 \pdf_quoted_options "linkcolor=black, citecolor=black, urlcolor=blue, filecolor=blue, pdfpagelayout=OneColumn, pdfnewwindow=true, pdfstartview=XYZ, plainpages=false"
81 \papersize a4
82 \use_geometry false
83 \use_package amsmath 1
84 \use_package amssymb 1
85 \use_package cancel 1
86 \use_package esint 1
87 \use_package mathdots 1
88 \use_package mathtools 1
89 \use_package mhchem 1
90 \use_package stackrel 1
91 \use_package stmaryrd 1
92 \use_package undertilde 1
93 \cite_engine basic
94 \cite_engine_type default
95 \biblio_style plain
96 \use_bibtopic false
97 \use_indices false
98 \paperorientation portrait
99 \suppress_date false
100 \justification true
101 \use_refstyle 0
102 \use_minted 0
103 \use_lineno 0
104 \notefontcolor #0000ff
105 \index Index
106 \shortcut idx
107 \color #008000
108 \end_index
109 \secnumdepth 3
110 \tocdepth 3
111 \paragraph_separation indent
112 \paragraph_indentation default
113 \is_math_indent 1
114 \math_indentation default
115 \math_numbering_side default
116 \quotes_style english
117 \dynamic_quotes 0
118 \papercolumns 1
119 \papersides 2
120 \paperpagestyle headings
121 \tablestyle default
122 \tracking_changes false
123 \output_changes false
124 \change_bars false
125 \postpone_fragile_content false
126 \html_math_output 0
127 \html_css_as_file 0
128 \html_be_strict true
129 \docbook_table_output 0
130 \end_header
131
132 \begin_body
133
134 \begin_layout Title
135 Additional \SpecialChar LyX
136  Features
137 \end_layout
138
139 \begin_layout Subtitle
140 Version 2.3.x
141 \end_layout
142
143 \begin_layout Author
144 by the \SpecialChar LyX
145  Team
146 \begin_inset Foot
147 status collapsed
148
149 \begin_layout Plain Layout
150 \noindent
151 Principal maintainer of this file is
152 \noun on
153  Richard Heck
154 \noun default
155 .
156  If you have comments or error corrections, please send them to the \SpecialChar LyX
157  Documentati
158 on mailing list, 
159 \begin_inset Flex Code
160 status collapsed
161
162 \begin_layout Plain Layout
163 <lyx-docs@lists.lyx.org>
164 \end_layout
165
166 \end_inset
167
168 .
169 \end_layout
170
171 \end_inset
172
173
174 \end_layout
175
176 \begin_layout Standard
177 \begin_inset CommandInset toc
178 LatexCommand tableofcontents
179
180 \end_inset
181
182
183 \end_layout
184
185 \begin_layout Chapter
186 \begin_inset CommandInset label
187 LatexCommand label
188 name "sec:Inserting-TeX-Code"
189
190 \end_inset
191
192 Inserting \SpecialChar TeX
193  Code into \SpecialChar LyX
194  Documents
195 \end_layout
196
197 \begin_layout Standard
198 Anything you can do in \SpecialChar LaTeX
199  you can do in \SpecialChar LyX
200 , for a very simple reason: You can
201  always insert \SpecialChar TeX
202  code into any \SpecialChar LyX
203  document.
204  \SpecialChar LyX
205  cannot, and will never be able to, display every possible \SpecialChar LaTeX
206  construct.
207  If ever you need to insert \SpecialChar LaTeX
208  commands into your \SpecialChar LyX
209  document, you can use the
210  
211 \begin_inset Flex Code
212 status collapsed
213
214 \begin_layout Plain Layout
215 \SpecialChar TeX
216  Code
217 \end_layout
218
219 \end_inset
220
221  box, which you can insert into your document with 
222 \begin_inset Flex Noun
223 status collapsed
224
225 \begin_layout Plain Layout
226 Insert\SpecialChar menuseparator
227
228 \family sans
229 TeX
230 \family default
231  Code
232 \end_layout
233
234 \end_inset
235
236  or the keyboard shortcut 
237 \begin_inset Info
238 type  "shortcut"
239 arg   "ert-insert"
240 \end_inset
241
242 .
243 \end_layout
244
245 \begin_layout Standard
246 Here's an example of inserting \SpecialChar LaTeX
247  commands in a \SpecialChar LyX
248  document.
249  The code looks like this:
250 \end_layout
251
252 \begin_layout LyX-Code
253
254 \backslash
255 begin{tabular}{ll}
256 \begin_inset Newline newline
257 \end_inset
258
259
260 \backslash
261 begin{minipage}{5cm}
262 \begin_inset Newline newline
263 \end_inset
264
265 This is an example of a minipage environment.
266  You 
267 \begin_inset Newline newline
268 \end_inset
269
270 can put nearly everything in it, even (non-floating) 
271 \begin_inset Newline newline
272 \end_inset
273
274 figures and tables.
275  
276 \begin_inset Newline newline
277 \end_inset
278
279
280 \backslash
281 end{minipage}
282 \begin_inset Newline newline
283 \end_inset
284
285 &
286 \begin_inset Newline newline
287 \end_inset
288
289
290 \backslash
291 begin{minipage}{5cm}
292 \begin_inset Newline newline
293 \end_inset
294
295
296 \backslash
297 begin{verbatim}
298 \begin_inset Newline newline
299 \end_inset
300
301
302 \backslash
303 begin{minipage}{5cm}
304 \begin_inset Newline newline
305 \end_inset
306
307 This ...
308  
309 \begin_inset Newline newline
310 \end_inset
311
312
313 \backslash
314 end{minipage}
315 \begin_inset Newline newline
316 \end_inset
317
318
319 \backslash
320 end{verbatim}
321 \begin_inset Newline newline
322 \end_inset
323
324
325 \backslash
326 end{minipage}
327 \begin_inset Newline newline
328 \end_inset
329
330
331 \backslash
332 end{tabular}
333 \end_layout
334
335 \begin_layout Section
336 Cross-References Between Files
337 \end_layout
338
339 \begin_layout Standard
340 \begin_inset Box Shadowbox
341 position "t"
342 hor_pos "c"
343 has_inner_box 1
344 inner_pos "t"
345 use_parbox 0
346 use_makebox 0
347 width "100col%"
348 special "none"
349 height "1in"
350 height_special "totalheight"
351 thickness "0.4pt"
352 separation "3pt"
353 shadowsize "4pt"
354 framecolor "black"
355 backgroundcolor "none"
356 status open
357
358 \begin_layout Plain Layout
359 This section is somewhat out of date.
360  Need to describe default master documents and how children are opened when
361  the master is.
362  [[FIXME]]
363 \end_layout
364
365 \end_inset
366
367
368 \end_layout
369
370 \begin_layout Section
371 AMS \SpecialChar LaTeX
372
373 \end_layout
374
375 \begin_layout Standard
376 These same environments are provided only in the starred versions by the
377  
378 \begin_inset Flex Code
379 status collapsed
380
381 \begin_layout Plain Layout
382 Theorems (Starred)
383 \end_layout
384
385 \end_inset
386
387  module:
388 \end_layout
389
390 \begin_layout Theorem
391 This is typically used for the statements of major results.
392  
393 \end_layout
394
395 \begin_layout Corollary*
396 This is used for statements which follow fairly directly from previous statement
397 s.
398  Again, these can be major results.
399  
400 \end_layout
401
402 \begin_layout Lemma
403 These are smaller results needed to prove other statements.
404 \end_layout
405
406 \begin_layout Proposition
407 These are less major results which (hopefully) add to the general theory
408  being discussed.
409 \end_layout
410
411 \begin_layout Conjecture
412 These are statements provided without justification, which the author does
413  not know how to prove, but which seem to be true (to the author, at least).
414 \end_layout
415
416 \begin_layout Definition*
417 Guess what this is for.
418  The font is different for this environment than for the previous ones.
419  
420 \end_layout
421
422 \begin_layout Example*
423 Used for examples illustrating proven results.
424 \end_layout
425
426 \begin_layout Problem
427 It's not really known what this is for.
428  You should figure it out.
429 \end_layout
430
431 \begin_layout Exercise*
432 Write a description for this one.
433 \end_layout
434
435 \begin_layout Remark
436 This environment is also a type of theorem, usually a lesser sort of observation.
437 \end_layout
438
439 \begin_layout Claim*
440 Often used in the course of giving a proof of a larger result.
441 \end_layout
442
443 \begin_layout Case
444 Generally, these are used to break up long arguments, using specific instances
445  of some condition.
446  
447 \end_layout
448
449 \begin_layout Case
450 The numbering scheme for cases is on its own, not together with other numbered
451  statements.
452  
453 \end_layout
454
455 \begin_layout Proof
456 At the end of this environment, a QED symbol (usually a square, but it can
457  vary with different styles) is placed.
458  If you want to have other environments within this one—for example, Case
459  environments—and have the QED symbol appear only after them, then the other
460  environments need to be nested within the proof environment.
461  See the section 
462 \emph on
463 Nesting Environments
464 \emph default
465  of the 
466 \emph on
467 User's Guide
468 \emph default
469  for information on nesting.
470 \end_layout
471
472 \begin_layout Standard
473 And these environments are provided by 
474 \begin_inset Flex Code
475 status collapsed
476
477 \begin_layout Plain Layout
478 Theorems (AMS-Extended)
479 \end_layout
480
481 \end_inset
482
483 :
484 \end_layout
485
486 \begin_layout Criterion*
487 A required condition.
488 \end_layout
489
490 \begin_layout Algorithm*
491 A general procedure to be used.
492 \end_layout
493
494 \begin_layout Axiom*
495 This is a property or statement taken as true within the system being discussed.
496 \end_layout
497
498 \begin_layout Condition*
499 Sometimes used to state a condition assumed within the present context of
500  discussion.
501 \end_layout
502
503 \begin_layout Note*
504 Similar to a Remark.
505 \end_layout
506
507 \begin_layout Notation*
508 Used for the explanation of, yes, notation.
509 \end_layout
510
511 \begin_layout Summary
512 Do we really need to tell you? 
513 \end_layout
514
515 \begin_layout Acknowledgement*
516 Acknowledgement.
517 \end_layout
518
519 \begin_layout Conclusion*
520 Sometimes used at the end of a long train of argument.
521 \end_layout
522
523 \begin_layout Fact
524 Used in a way similar to Proposition, though perhaps lower on the scale.
525 \end_layout
526
527 \begin_layout Standard
528 In addition, the AMS classes automatically provide the AMS \SpecialChar LaTeX
529  and AMS fonts
530  packages.
531  They need to be available on your system in order to use these environments.
532 \end_layout
533
534 \end_body
535 \end_document