diff options
Diffstat (limited to 'pages/notations.org')
-rw-r--r-- | pages/notations.org | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/pages/notations.org b/pages/notations.org index 691a9d6..e20ab54 100644 --- a/pages/notations.org +++ b/pages/notations.org @@ -1,3 +1,14 @@ +# Copyright (C) 2013-2021 Yuchen Pei. + +# Permission is granted to copy, distribute and/or modify this +# document under the terms of the GNU Free Documentation License, +# Version 1.3 or any later version published by the Free Software +# Foundation; with no Invariant Sections, no Front-Cover Texts, and +# no Back-Cover Texts. You should have received a copy of the GNU +# Free Documentation License. If not, see <https://www.gnu.org/licenses/>. + +# This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by-sa/4.0/ or send a letter to Creative Commons, PO Box 1866, Mountain View, CA 94042, USA. + #+title: List of Notations #+date: 2019-03-15 |