From ca13e43344d21a25009baca24f900121bc8c7ef5 Mon Sep 17 00:00:00 2001
From: David Peter <mail@david-peter.de>
Date: Tue, 8 Oct 2024 23:06:02 +0200
Subject: [PATCH] =?UTF-8?q?Use=20=E2=80=B2=20and=20=E2=80=B3=20as=20defaul?=
 =?UTF-8?q?t=20short=20names=20for=20arcminute/arcsecond?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 book/src/list-functions-other.md | 4 ++--
 numbat/modules/units/si.nbt      | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/book/src/list-functions-other.md b/book/src/list-functions-other.md
index 360213bf..179f4360 100644
--- a/book/src/list-functions-other.md
+++ b/book/src/list-functions-other.md
@@ -185,7 +185,7 @@ fn DMS(alpha: Angle) -> List<Angle>
 
 <pre><div class="buttons"><button class="fa fa-play play-button" title="Run this code" aria-label="Run this code"  onclick=" window.open('https://numbat.dev/?q=46%2E5858%C2%B0%20%2D%3E%20DMS')""></button></div><code class="language-nbt hljs numbat">>>> 46.5858° -> DMS
 
-    = [46°, 35 arcminute, 8.88 arcsecond]    [List<Scalar>]
+    = [46°, 35′, 8.88″]    [List<Scalar>]
 </code></pre>
 
 </details>
@@ -203,7 +203,7 @@ fn DM(alpha: Angle) -> List<Angle>
 
 <pre><div class="buttons"><button class="fa fa-play play-button" title="Run this code" aria-label="Run this code"  onclick=" window.open('https://numbat.dev/?q=46%2E5858%C2%B0%20%2D%3E%20DM')""></button></div><code class="language-nbt hljs numbat">>>> 46.5858° -> DM
 
-    = [46°, 35.148 arcminute]    [List<Scalar>]
+    = [46°, 35.148′]    [List<Scalar>]
 </code></pre>
 
 </details>
diff --git a/numbat/modules/units/si.nbt b/numbat/modules/units/si.nbt
index 2ef8ffce..8ceddaee 100644
--- a/numbat/modules/units/si.nbt
+++ b/numbat/modules/units/si.nbt
@@ -202,12 +202,12 @@ unit degree: Angle = π / 180 × radian
 
 @name("Minute of arc")
 @url("https://en.wikipedia.org/wiki/Minute_and_second_of_arc")
-@aliases(arcminutes, arcmin, ′)
+@aliases(arcminutes, arcmin, ′: short)
 unit arcminute: Angle = 1 / 60 × degree
 
 @name("Second of arc")
 @url("https://en.wikipedia.org/wiki/Minute_and_second_of_arc")
-@aliases(arcseconds, arcsec, ″)
+@aliases(arcseconds, arcsec, ″: short)
 unit arcsecond: Angle = 1 / 60 × arcminute
 
 @name("Are")