From f2a710d15aee469f008d773f46c14ea4ccc181e2 Mon Sep 17 00:00:00 2001
From: Luis <lab156@case.edu>
Date: Mon, 2 Aug 2021 22:34:56 -0400
Subject: [PATCH] fix bad typesetting in argot-dataset

---
 resources/argot-dataset-2021.md | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/resources/argot-dataset-2021.md b/resources/argot-dataset-2021.md
index e7dac68..e920372 100644
--- a/resources/argot-dataset-2021.md
+++ b/resources/argot-dataset-2021.md
@@ -20,7 +20,6 @@ title: ArGoT 2021 - arXiv Glossary of Terms
   - [SIGMathLing members](/member/) only. Joining is free and mostly a legal checkmark on our end - all researchers welcome!
 
 ### Description
-
 This is the first public release of the ArGoT dataset generated by the [Formal Abstracts](https://formalabstracts.github.io/) research group.
 ArGoT is a dataset of term-definition pairs automatically extracted from the arXiv mathematical papers.
 
@@ -106,8 +105,7 @@ articles, the right of distribution was only given (or assumed) to arXiv itself.
 Part of the [Formal Abstracts](https://formalabstracts.github.io/) research group. Author: Luis Berlioz
 
 ### Appendix
-**MathML formula example:**
-
+**Example of an entry in the database:**
 ```xml
     <article name="1407_005/1407.2218/1407.2218.xml" num="89">
     <definition index="51">
-- 
GitLab