1 files changed, 10 insertions, 9 deletions

diff --git a/subprojects/store/src/main/java/tools/refinery/store/representation/Symbol.java b/subprojects/store/src/main/java/tools/refinery/store/representation/Symbol.java
index aad88921..cc748180 100644
--- a/subprojects/store/src/main/java/tools/refinery/store/representation/Symbol.java
+++ b/subprojects/store/src/main/java/tools/refinery/store/representation/Symbol.java
@@ -7,18 +7,19 @@ package tools.refinery.store.representation;
 
 public record Symbol<T>(String name, int arity, Class<T> valueType, T defaultValue) implements AnySymbol {
         @Override
-        public boolean equals(Object o) {
-                return this == o;
+        public String toString() {
+                return "%s/%d".formatted(name, arity);
         }
 
-        @Override
-        public int hashCode() {
-                // Compare by identity to make hash table lookups more efficient.
-                return System.identityHashCode(this);
+        public static Symbol<Boolean> of(String name, int arity) {
+                return of(name, arity, Boolean.class, false);
         }
 
-        @Override
-        public String toString() {
-                return "%s/%d".formatted(name, arity);
+        public static <T> Symbol<T> of(String name, int arity, Class<T> valueType) {
+                return of(name, arity, valueType, null);
+        }
+
+        public static <T> Symbol<T> of(String name, int arity, Class<T> valueType, T defaultValue) {
+                return new Symbol<>(name, arity, valueType, defaultValue);
         }
 }