diff --git a/packages/viewer/src/components/Properties/Show.svelte b/packages/viewer/src/components/Properties/Show.svelte
index e08922d4..4af20e96 100644
--- a/packages/viewer/src/components/Properties/Show.svelte
+++ b/packages/viewer/src/components/Properties/Show.svelte
@@ -8,10 +8,12 @@
   export let tab: 'spaces' | 'theorems' | 'references'
   export let rel: string | undefined = undefined
 
+  const title = `P${property.id}: ${property.name}`
+
   const tabs = ['spaces', 'theorems', 'references'] as const
 </script>
 
-<Title title={property.name} />
+<Title {title} />
 
 <h3>Property P{property.id}</h3>
 
diff --git a/packages/viewer/src/components/Spaces/Show.svelte b/packages/viewer/src/components/Spaces/Show.svelte
index a63c1da9..7ae7ad43 100644
--- a/packages/viewer/src/components/Spaces/Show.svelte
+++ b/packages/viewer/src/components/Spaces/Show.svelte
@@ -8,10 +8,12 @@
   export let tab: 'properties' | 'theorems' | 'references'
   export let rel: string | undefined = undefined
 
+  const title = `S${space.id}: ${space.name}`
+
   const tabs = ['properties', 'theorems', 'references'] as const
 </script>
 
-<Title title={space.name} />
+<Title {title} />
 
 <h3>Space S{space.id}</h3>
 
diff --git a/packages/viewer/src/components/Theorems/Show.svelte b/packages/viewer/src/components/Theorems/Show.svelte
index 5dac0fe8..3fc260fd 100644
--- a/packages/viewer/src/components/Theorems/Show.svelte
+++ b/packages/viewer/src/components/Theorems/Show.svelte
@@ -8,10 +8,12 @@
   export let tab: 'converse' | 'references'
   export let rel: string | undefined = undefined
 
+  const title = `T${theorem.id}: ${theorem.name}`
+
   const tabs = ['converse', 'references'] as const
 </script>
 
-<Title title={theorem.name} />
+<Title {title} />
 
 <h3>Theorem T{theorem.id}</h3>
 
diff --git a/packages/viewer/src/components/Traits/Show.svelte b/packages/viewer/src/components/Traits/Show.svelte
index d33dbb07..c539dc68 100644
--- a/packages/viewer/src/components/Traits/Show.svelte
+++ b/packages/viewer/src/components/Traits/Show.svelte
@@ -34,9 +34,9 @@
 {#await loading}
   <Loading />
 {:then { property, space, trait, proof, meta }}
-  <Title title={`${space.name}: ${property.name}`} />
+  <Title title={`S${space.id}|P${property.id}: ${space.name} | ${property.name}`} />
 
-  <h3>Property P{property.id} | Space S{space.id}</h3>
+  <h3>Space S{space.id} | Property P{property.id}</h3>
 
   <h1>
     {#if proof}