diff --git a/reference/concepts/Invoke.md b/reference/concepts/Invoke.md
index 682d748204..904dd091c5 100644
--- a/reference/concepts/Invoke.md
+++ b/reference/concepts/Invoke.md
@@ -63,7 +63,7 @@ C++における関数呼び出しという性質を抽象化しまとめた、
 ## 要件（C++23差分）
 C++20 における 2. について、次の文言を項目の最後に追加する。この変更は、`R`が参照かつ*INVOKE*の実行結果が`R`に束縛されることで寿命が延長される場合にダングリング参照が作成されてしまう事例を検出するための要件である。
 
-- [`reference_­converts_­from_­temporary_­v`](/reference/type_traits/reference_converts_from_temporary.md)`<R, decltype(`*INVOKE*`(f, t1, t2, …, tN))> == true`の場合、*INVOKE*`<R>(f, t1, t2, …, tN)`は不適格。
+- [`reference_converts_from_temporary_v`](/reference/type_traits/reference_converts_from_temporary.md)`<R, decltype(`*INVOKE*`(f, t1, t2, …, tN))> == true`の場合、*INVOKE*`<R>(f, t1, t2, …, tN)`は不適格。
 
 
 ## まとめ
diff --git a/reference/ranges/simple-view.md b/reference/ranges/simple-view.md
index 7b2c01bbde..d31987cb29 100644
--- a/reference/ranges/simple-view.md
+++ b/reference/ranges/simple-view.md
@@ -7,8 +7,8 @@
 template<class R>
   concept simple-view = // 説明専用コンセプト
     view<R> && range<const R> &&
-    same_­as<iterator_t<R>, iterator_t<const R>> &&
-    same_­as<sentinel_t<R>, sentinel_t<const R>>;
+    same_as<iterator_t<R>, iterator_t<const R>> &&
+    same_as<sentinel_t<R>, sentinel_t<const R>>;
 ```
 * same-as[link /reference/concepts/same_as.md]
 * view[link view.md]
diff --git a/reference/tuple/make_from_tuple.md b/reference/tuple/make_from_tuple.md
index e175fecd83..f4028bfcf4 100644
--- a/reference/tuple/make_from_tuple.md
+++ b/reference/tuple/make_from_tuple.md
@@ -26,7 +26,7 @@ namespace std {
 また、型`T`の初期化はそのコンストラクタで行われ集成体初期化は考慮されない。つまり、`Tuple`に含まれる型が空かただ一つの`T`でない場合、型`T`は集成体（aggregate）であってはならない（C++17のみ、C++20以降はok）。
 
 更に、C++23以降は`make_from_tuple`の返り値が参照である場合でダングリング参照を生成しないために、`make_from_tuple`の内部で`T`が構築される際に、`Tuple`から取得されるオブジェクト（参照の初期化であるので、`Tuple`のサイズは1である必要がある）の寿命が延長されないことも要求され、これを満たさない場合はコンパイルエラーとなる。
-正確には、[`tuple_­size_­v`](tuple_size.md)`<`[`remove_­reference_­t`](/reference/type_traits/remove_reference.md)`<Tuple>> == 1`である場合、[`reference_­constructs_­from_­temporary_­v`](/reference/type_traits/reference_constructs_from_temporary.md)`<T, decltype(get<0>(`[`declval`](/reference/utility/declval.md)`<Tuple>()))> == false`であること。
+正確には、[`tuple_size_v`](tuple_size.md)`<`[`remove_reference_t`](/reference/type_traits/remove_reference.md)`<Tuple>> == 1`である場合、[`reference_constructs_from_temporary_v`](/reference/type_traits/reference_constructs_from_temporary.md)`<T, decltype(get<0>(`[`declval`](/reference/utility/declval.md)`<Tuple>()))> == false`であること。
 
 ## 引数
 - `t` -- [`tuple-like`](tuple-like.md)な型`Tuple`のオブジェクト
diff --git a/reference/tuple/pair-like.md b/reference/tuple/pair-like.md
index 7a15efbca0..3cf2baf921 100644
--- a/reference/tuple/pair-like.md
+++ b/reference/tuple/pair-like.md
@@ -11,7 +11,7 @@ namespace std {
     template<class T>
     concept pair-like = // 説明専用コンセプト
       !is_reference_v<T> && requires(T t) {
-        typename tuple_size<T>::type; // tuple_­size<T> が完全型であることを明確にする
+        typename tuple_size<T>::type; // tuple_size<T> が完全型であることを明確にする
         requires derived_from<tuple_size<T>, integral_constant<size_t, 2>>;
         typename tuple_element_t<0, remove_const_t<T>>;
         typename tuple_element_t<1, remove_const_t<T>>;
diff --git a/reference/tuple/tuple/basic_common_reference.md b/reference/tuple/tuple/basic_common_reference.md
index 637303d803..8d0fd167b3 100644
--- a/reference/tuple/tuple/basic_common_reference.md
+++ b/reference/tuple/tuple/basic_common_reference.md
@@ -21,16 +21,16 @@ template<tuple-like TTuple, tuple-like UTuple,
 
 
 ## 効果
-[`tuple`](../tuple.md)`<`[`common_­reference_­t`](/reference/type_traits/common_reference.md)`<TQual<TTypes>, UQual<UTypes>>...>`によって得られた型をメンバ型`type`として定義する。
+[`tuple`](../tuple.md)`<`[`common_reference_t`](/reference/type_traits/common_reference.md)`<TQual<TTypes>, UQual<UTypes>>...>`によって得られた型をメンバ型`type`として定義する。
 
 
 ## 要件
 - `TTuple`か`UTuple`のどちらかが[`tuple`](../tuple.md)の特殊化であること。
-- `TTuple`と`UTuple`のそれぞれについて、（次の`T`を置き換える形で）[`is_­same_­v`](/reference/type_traits/is_same.md)`<T, `[`decay_­t`](/reference/type_traits/decay.md)`<T>>`であること。
+- `TTuple`と`UTuple`のそれぞれについて、（次の`T`を置き換える形で）[`is_same_v`](/reference/type_traits/is_same.md)`<T, `[`decay_t`](/reference/type_traits/decay.md)`<T>>`であること。
     - 実質的には`TTuple`と`Utuple`について、参照型ではなく、最上位の`const`/`volatile`修飾も持っていないこと要求する。
 - `TTuple`と`UTuple`の要素数が一致していること。
-    - 具体的には、[`tuple_­size_­v`](../tuple_size.md)`<TTuple> ==` [`tuple_­size_­v`](../tuple_size.md)`<UTuple>`であること。
-- [`tuple`](../tuple.md)`<`[`common_­reference_­t`](/reference/type_traits/common_reference.md)`<TQual<TTypes>, UQual<UTypes>>...>`が正しく型を表すこと。
+    - 具体的には、[`tuple_size_v`](../tuple_size.md)`<TTuple> ==` [`tuple_size_v`](../tuple_size.md)`<UTuple>`であること。
+- [`tuple`](../tuple.md)`<`[`common_reference_t`](/reference/type_traits/common_reference.md)`<TQual<TTypes>, UQual<UTypes>>...>`が正しく型を表すこと。
 
 
 ## バージョン
diff --git a/reference/tuple/tuple/common_type.md b/reference/tuple/tuple/common_type.md
index b8ffd1e735..f6d8d89022 100644
--- a/reference/tuple/tuple/common_type.md
+++ b/reference/tuple/tuple/common_type.md
@@ -18,16 +18,16 @@ namespace std {
 
 
 ## 効果
-[`tuple`](../tuple.md)`<`[`common_­type_­t`](/reference/type_traits/common_type.md)`<TTypes, UTypes>...>`によって得られた型をメンバ型`type`として定義する。
+[`tuple`](../tuple.md)`<`[`common_type_t`](/reference/type_traits/common_type.md)`<TTypes, UTypes>...>`によって得られた型をメンバ型`type`として定義する。
 
 
 ## 備考
 - `TTuple`か`UTuple`のどちらかが[`tuple`](../tuple.md)の特殊化であること。
-- `TTuple`と`UTuple`のそれぞれについて、（次の`T`を置き換える形で）[`is_­same_­v`](/reference/type_traits/is_same.md)`<T,` [`decay_­t`](/reference/type_traits/decay.md)`<T>>`であること。
+- `TTuple`と`UTuple`のそれぞれについて、（次の`T`を置き換える形で）[`is_same_v`](/reference/type_traits/is_same.md)`<T,` [`decay_t`](/reference/type_traits/decay.md)`<T>>`であること。
     - 実質的には`TTuple`と`Utuple`について、参照型ではなく、最上位の`const`/`volatile`修飾も持っていないこと要求する。
 - `TTuple`と`UTuple`の要素数が一致していること。
-    - 具体的には、[`tuple_­size_­v`](../tuple_size.md)`<TTuple> ==` [`tuple_­size_­v`](../tuple_size.md)`<UTuple>`であること。
-- [`tuple`](../tuple.md)`<`[`common_­type_­t`](/reference/type_traits/common_type.md)`<TTypes, UTypes>...>`が正しく型を表すこと。
+    - 具体的には、[`tuple_size_v`](../tuple_size.md)`<TTuple> ==` [`tuple_size_v`](../tuple_size.md)`<UTuple>`であること。
+- [`tuple`](../tuple.md)`<`[`common_type_t`](/reference/type_traits/common_type.md)`<TTypes, UTypes>...>`が正しく型を表すこと。
 
 
 ## バージョン
diff --git a/reference/tuple/tuple/op_assign.md b/reference/tuple/tuple/op_assign.md
index 67c8ba00a1..23b54f8aac 100644
--- a/reference/tuple/tuple/op_assign.md
+++ b/reference/tuple/tuple/op_assign.md
@@ -84,23 +84,23 @@ constexpr const tuple& operator=(UTuple&&) const;        // (14) C++23
 - (1) : 全ての`i`について、[`is_copy_assignable`](/reference/type_traits/is_copy_assignable.md)`<Ti>::value == true`であること
 - (2) : C++23 : 全ての`i`について、[`is_copy_assignable_v`](/reference/type_traits/is_copy_assignable.md)`<const Ti> == true`であること
 - (3) : 全ての`i`について、[`is_move_assignable`](/reference/type_traits/is_move_assignable.md)`<Ti>::value == true`であること
-- (4) : C++23 : 全ての`i`について、[`is_­assignable_­v`](/reference/type_traits/is_assignable.md)`<const Ti&, Ti> == true`であること
+- (4) : C++23 : 全ての`i`について、[`is_assignable_v`](/reference/type_traits/is_assignable.md)`<const Ti&, Ti> == true`であること
 - (5) : 要素数が同じかつ、パラメータの[`tuple`](../tuple.md)の全ての要素型が、元の[`tuple`](../tuple.md)の全ての要素型にコピー代入可能であること
-- (6) : C++23 : 要素数が同じかつ、全ての`i`について、[`is_­assignable_­v`](/reference/type_traits/is_assignable.md)`<const Ti&, const Ui&> == true`であること
+- (6) : C++23 : 要素数が同じかつ、全ての`i`について、[`is_assignable_v`](/reference/type_traits/is_assignable.md)`<const Ti&, const Ui&> == true`であること
 - (7) : 要素数が同じかつ、パラメータの[`tuple`](../tuple.md)の全ての要素型が、元の[`tuple`](../tuple.md)の全ての要素型にムーブ代入可能であること
-- (8) : C++23 : 要素数が同じかつ、全ての`i`について、[`is_­assignable_­v`](/reference/type_traits/is_assignable.md)`<const Ti&, Ui> = true`であること
+- (8) : C++23 : 要素数が同じかつ、全ての`i`について、[`is_assignable_v`](/reference/type_traits/is_assignable.md)`<const Ti&, Ui> = true`であること
 - (9) : 元の[`tuple`](../tuple.md)の要素数が2であり、パラメータの[`pair`](/reference/utility/pair.md)の全ての要素型が元の[`tuple`](../tuple.md)の全ての要素型にコピー代入可能であること
-- (10) : C++23 : 元の[`tuple`](../tuple.md)の要素数が2であり、[`is_­assignable_­v`](/reference/type_traits/is_assignable.md)`<const T0&, U1> &&` [`is_­assignable_­v`](/reference/type_traits/is_assignable.md)`<const T1&, U2>`であること
+- (10) : C++23 : 元の[`tuple`](../tuple.md)の要素数が2であり、[`is_assignable_v`](/reference/type_traits/is_assignable.md)`<const T0&, U1> &&` [`is_assignable_v`](/reference/type_traits/is_assignable.md)`<const T1&, U2>`であること
 - (11) : 元の[`tuple`](../tuple.md)の要素型が2であり、パラメータの[`pair`](/reference/utility/pair.md)の全ての要素型が元の[`tuple`](../tuple.md)の全ての要素型にムーブ代入可能であること
-- (12) : C++23 : 元の[`tuple`](../tuple.md)の要素数が2であり、[`is_­assignable_­v`](/reference/type_traits/is_assignable.md)`<const T0&, U1> &&` [`is_­assignable_­v`](/reference/type_traits/is_assignable.md)`<const T1&, U2>`であること
+- (12) : C++23 : 元の[`tuple`](../tuple.md)の要素数が2であり、[`is_assignable_v`](/reference/type_traits/is_assignable.md)`<const T0&, U1> &&` [`is_assignable_v`](/reference/type_traits/is_assignable.md)`<const T1&, U2>`であること
 - (13) : 要素数が同じかつ、次を全て満たすこと
     - C++23 : [`different-from`](/reference/ranges/different-from.md)`<UTuple, tuple>`
-    - C++23 : [`remove_­cvref_­t`](/reference/type_traits/remove_cvref.md)`<UTuple>`が[`ranges::subrange`](/reference/ranges/subrange.md)の特殊化でないこと
-    - C++23 : 全ての`i`について、[`is_­assignable_­v`](/reference/type_traits/is_assignable.md)`<Ti&, decltype(get<i>(`[`std​::​forward`](/reference/utility/forward.md)`<UTuple>(u)))>`
+    - C++23 : [`remove_cvref_t`](/reference/type_traits/remove_cvref.md)`<UTuple>`が[`ranges::subrange`](/reference/ranges/subrange.md)の特殊化でないこと
+    - C++23 : 全ての`i`について、[`is_assignable_v`](/reference/type_traits/is_assignable.md)`<Ti&, decltype(get<i>(`[`std​::​forward`](/reference/utility/forward.md)`<UTuple>(u)))>`
 - (14) : 要素数が同じかつ、次をすべて満たすこと
     - C++23 : [`different-from`](/reference/ranges/different-from.md)`<UTuple, tuple>`
-    - C++23 : [`remove_­cvref_­t`](/reference/type_traits/remove_cvref.md)`<UTuple>`が[`ranges::subrange`](/reference/ranges/subrange.md)の特殊化でないこと
-    - C++23 : [`is_­assignable_­v`](/reference/type_traits/is_assignable.md)`<const Ti&, decltype(get<i>(`[`std​::​forward`](/reference/utility/forward.md)`<UTuple>(u)))>`
+    - C++23 : [`remove_cvref_t`](/reference/type_traits/remove_cvref.md)`<UTuple>`が[`ranges::subrange`](/reference/ranges/subrange.md)の特殊化でないこと
+    - C++23 : [`is_assignable_v`](/reference/type_traits/is_assignable.md)`<const Ti&, decltype(get<i>(`[`std​::​forward`](/reference/utility/forward.md)`<UTuple>(u)))>`
 
 
 ## 例外
diff --git a/reference/tuple/tuple/op_compare_3way.md b/reference/tuple/tuple/op_compare_3way.md
index 91e768b7e4..1a6c4b76a5 100644
--- a/reference/tuple/tuple/op_compare_3way.md
+++ b/reference/tuple/tuple/op_compare_3way.md
@@ -15,8 +15,8 @@ namespace std {
     operator<=>(const tuple<TTypes...>& t, const UTuple& u);           // (2) C++23
   
   // (2) の Elems は 型パラメータパック 
-  //   tuple_­element_­t<0, UTuple>, tuple_­element_­t<1, UTuple>, ...,
-  //   tuple_­element_­t<tuple_­size_­v<UTuple> - 1, UTuple>
+  //   tuple_element_t<0, UTuple>, tuple_element_t<1, UTuple>, ...,
+  //   tuple_element_t<tuple_size_v<UTuple> - 1, UTuple>
   // を表す。
 }
 ```
@@ -24,8 +24,8 @@ namespace std {
 * common_comparison_category_t[link /reference/compare/common_comparison_category.md]
 * synth-three-way-result[link /reference/exposition-only/synth-three-way-result.md]
 * tuple-like[link ../tuple-like.md]
-* tuple_­element_­t[link ../tuple_element.md]
-* tuple_­size_­v[link ../tuple_size.md]
+* tuple_element_t[link ../tuple_element.md]
+* tuple_size_v[link ../tuple_size.md]
 
 ## 概要
 2つの[`tuple`](../tuple.md)オブジェクトの三方比較を行う。また、[`tuple-like`](../tuple-like.md)なオブジェクトとの三方比較を行う。（C++23以降）
diff --git a/reference/tuple/tuple/op_constructor.md b/reference/tuple/tuple/op_constructor.md
index 69b191ee40..2bf4e9eeb6 100644
--- a/reference/tuple/tuple/op_constructor.md
+++ b/reference/tuple/tuple/op_constructor.md
@@ -260,18 +260,18 @@ explicit(see below) constexpr
     - C++20まで : `Types...`の全ての型`Ti`と、`UTypes...`の全ての型`Ui`について、[`is_constructible`](/reference/type_traits/is_constructible.md)`<Ti, Ui&&>::value == true`であること
     - C++17 : `sizeof...(Types) >= 1`であること
     - C++23 : `disambiguating-constraint`を次のように定義して、
-        - `sizeof...(Types) == 1`の時、[`negation`](/reference/type_traits/negation.md)`<`[`is_­same`](/reference/type_traits/is_same.md)`<`[`remove_­cvref_­t`](/reference/type_traits/remove_cvref.md)`<U0>,` [`tuple`](../tuple.md)`>>`
-        - `sizeof...(Types) == 2 || sizeof...(Types) == 3`の時、[`bool_­constant`](/reference/type_traits/bool_constant.md)`<!`[`is_­same_­v`](/reference/type_traits/is_same.md)`<`[`remove_­cvref_­t`](/reference/type_traits/remove_cvref.md)`<U0>,` [`allocator_­arg_­t`](/reference/memory/allocator_arg_t.md)`> ||` [`is_­same_­v`](/reference/type_traits/is_same.md)`<`[`remove_­cvref_­t`](/reference/type_traits/remove_cvref.md)`<T0>,` [`allocator_­arg_­t`](/reference/memory/allocator_arg_t.md)`>>`
+        - `sizeof...(Types) == 1`の時、[`negation`](/reference/type_traits/negation.md)`<`[`is_same`](/reference/type_traits/is_same.md)`<`[`remove_cvref_t`](/reference/type_traits/remove_cvref.md)`<U0>,` [`tuple`](../tuple.md)`>>`
+        - `sizeof...(Types) == 2 || sizeof...(Types) == 3`の時、[`bool_constant`](/reference/type_traits/bool_constant.md)`<!`[`is_same_v`](/reference/type_traits/is_same.md)`<`[`remove_cvref_t`](/reference/type_traits/remove_cvref.md)`<U0>,` [`allocator_arg_t`](/reference/memory/allocator_arg_t.md)`> ||` [`is_same_v`](/reference/type_traits/is_same.md)`<`[`remove_cvref_t`](/reference/type_traits/remove_cvref.md)`<T0>,` [`allocator_arg_t`](/reference/memory/allocator_arg_t.md)`>>`
         - 以上に該当しなければ、[`true_type`](/reference/type_traits/true_type.md)
-    - C++23 : [`conjunction_­v`](/reference/type_traits/conjunction.md)`<disambiguating-constraint,` [`is_­constructible`](/reference/type_traits/is_constructible.md)`<Types, UTypes>...>`であること
+    - C++23 : [`conjunction_v`](/reference/type_traits/conjunction.md)`<disambiguating-constraint,` [`is_constructible`](/reference/type_traits/is_constructible.md)`<Types, UTypes>...>`であること
 - (4), (18) :
     - `Types...`の全ての型`Ti`について、[`is_copy_constructible`](/reference/type_traits/is_copy_constructible.md)`<Ti>::value == true`であること
 - (5), (19) :
     - `Types...`の全ての型`Ti`について、[`is_move_constructible`](/reference/type_traits/is_move_constructible.md)`<Ti>::value == true`であること
 - (6)-(9), (20)-(23) :
-    - `I`をパラメータパック`0, 1, ..., (sizeof...(Types) - 1)`、`FWD(u)`を`static_­cast<decltype(u)>(u)`、`sizeof...(Types) == 1`の場合は、`Types...`を`T`へ、`UTypes...`を`U`へ展開したと定義して
-    - C++23 : `sizeof...(Types) == sizeof...(UTypes) && (`[`is_­constructible_­v`](/reference/type_traits/is_constructible.md)`<Types, decltype(`[`get`](/reference/tuple/tuple/get.md)`<I>(FWD(u)))> && ...) == true`であること
-    - C++23 : 更に、`sizeof...(Types) != 1`または、[`is_­convertible_v­`](/reference/type_traits/is_convertible.md)`<decltype(u), T> == false &&` [`is_­constructible_­v`](/reference/type_traits/is_constructible.md)`<T, decltype(u)> == false &&` [`is_­same_­v`](/reference/type_traits/is_same.md)`<T, U> == false`であること
+    - `I`をパラメータパック`0, 1, ..., (sizeof...(Types) - 1)`、`FWD(u)`を`static_cast<decltype(u)>(u)`、`sizeof...(Types) == 1`の場合は、`Types...`を`T`へ、`UTypes...`を`U`へ展開したと定義して
+    - C++23 : `sizeof...(Types) == sizeof...(UTypes) && (`[`is_constructible_v`](/reference/type_traits/is_constructible.md)`<Types, decltype(`[`get`](/reference/tuple/tuple/get.md)`<I>(FWD(u)))> && ...) == true`であること
+    - C++23 : 更に、`sizeof...(Types) != 1`または、[`is_convertible_v`](/reference/type_traits/is_convertible.md)`<decltype(u), T> == false &&` [`is_constructible_v`](/reference/type_traits/is_constructible.md)`<T, decltype(u)> == false &&` [`is_same_v`](/reference/type_traits/is_same.md)`<T, U> == false`であること
 - (7), (21) :
     - `sizeof...(Types) == sizeof...(UTypes)`であること
     - `Types...`の全ての型`Ti`と、`UTypes...`の全ての型`Ui`について、[`is_constructible`](/reference/type_traits/is_constructible.md)`<Ti, const Ui&>::value == true`であること
@@ -285,7 +285,7 @@ explicit(see below) constexpr
         - ムーブコンストラクタとのオーバーロードが成立することを意図している
     - C++23 : (6)-(9), (20)-(23) の定義参照
 - (10)-(13), (24)-(27) :
-    - `FWD(u)`を`static_­cast<decltype(u)>(u)`、`Types...`の0番目の型を`T0`、1番目の型を`T1`であるとして、
+    - `FWD(u)`を`static_cast<decltype(u)>(u)`、`Types...`の0番目の型を`T0`、1番目の型を`T1`であるとして、
     - C++23 : `sizeof...(Types) == 2`であること
     - C++23 : [`is_constructible_v`](/reference/type_traits/is_constructible.md)`<T0, decltype(get<0>(FWD(u))) == true`であること
     - C++23 : [`is_constructible_v`](/reference/type_traits/is_constructible.md)`<T1, decltype(get<1>(FWD(u))) == true`であること
@@ -304,8 +304,8 @@ explicit(see below) constexpr
     - C++23 : [`different-from`](/reference/ranges/different-from.md)`<UTuple, tuple>`であること
     - C++23 : [`remove_cvref_t`](/reference/type_traits/remove_cvref.md)`<UTuple>`が[`ranges::subrange`](/reference/ranges/subrange.md)の特殊化でないこと
     - C++23 : `sizeof...(Types) ==` [`tuple_size_v`](../tuple_size.md)`<`[`remove_cvref_t`](/reference/type_traits/remove_cvref.md)`<UTuple>>`であること
-    - C++23 : `(`[`is_­constructible_­v`](/reference/type_traits/is_constructible.md)`<Types, decltype(get<I>(`[`std​::​forward`](/reference/utility/forward.md)`<UTuple>(u)))> && ...) == true`であること
-    - C++23 : `sizeof...(Types) != 1`であるか、または`Types...`を`T`に展開したとして[`is_­convertible_­v`](/reference/type_traits/is_convertible.md)`<UTuple, T> == false &&` [`is_­constructible_­v`](/reference/type_traits/is_constructible.md)`<T, UTuple> == false`であること
+    - C++23 : `(`[`is_constructible_v`](/reference/type_traits/is_constructible.md)`<Types, decltype(get<I>(`[`std​::​forward`](/reference/utility/forward.md)`<UTuple>(u)))> && ...) == true`であること
+    - C++23 : `sizeof...(Types) != 1`であるか、または`Types...`を`T`に展開したとして[`is_convertible_v`](/reference/type_traits/is_convertible.md)`<UTuple, T> == false &&` [`is_constructible_v`](/reference/type_traits/is_constructible.md)`<T, UTuple> == false`であること
 
 
 ## 備考
@@ -319,7 +319,7 @@ explicit(see below) constexpr
     - C++17から : `!`[`conjunction_v`](/reference/type_traits/conjunction.md)`<`[`is_convertible`](/reference/type_traits/is_convertible.md)`<UTypes, Types>...>`である場合、この関数は`explicit`となる
     - C++23から : `(`[`reference_constructs_from_temporary_v`](/reference/type_traits/reference_constructs_from_temporary.md)`<Types, UTypes&&> || ...)`である場合、この関数は削除定義される
 - (6)-(9) :
-    - `I`をパラメータパック`0, 1, ..., (sizeof...(Types) - 1)`、`FWD(u)`を`static_­cast<decltype(u)>(u)`と定義して、
+    - `I`をパラメータパック`0, 1, ..., (sizeof...(Types) - 1)`、`FWD(u)`を`static_cast<decltype(u)>(u)`と定義して、
     - C++23 : `!(`[`is_convertible_v`](/reference/type_traits/is_convertible.md)`<decltype(`[`get`](../tuple/get.md)`<I>(FWD(u))), Types> && ...)`である場合、この関数は`explicit`となる
     - C++23 : `(`[`reference_constructs_from_temporary_v`](/reference/type_traits/reference_constructs_from_temporary.md)`<Types, decltype(`[`get`](../tuple/get.md)`<I>(FWD(u)))> || ...)`である場合、この関数は削除定義される
 - (7) :
@@ -329,7 +329,7 @@ explicit(see below) constexpr
     - C++17 : `!`[`conjunction_v`](/reference/type_traits/conjunction.md)`<`[`is_convertible`](/reference/type_traits/is_convertible.md)`<UTypes&&, Types>...>`である場合、この関数は`explicit`となる
     - C++23 : (6)-(9) の定義参照
 - (10)-(13) :
-    - `FWD(u)`を`static_­cast<decltype(u)>(u)`、`Types...`の0番目の型を`T0`、1番目の型を`T1`であるとして、
+    - `FWD(u)`を`static_cast<decltype(u)>(u)`、`Types...`の0番目の型を`T0`、1番目の型を`T1`であるとして、
     - C++23 : `!`[`is_convertible_v`](/reference/type_traits/is_convertible.md)`<decltype(`[`get`](/reference/utility/pair/get.md)`<0>(FWD(u))), T0> ||!`[`is_convertible_v`](/reference/type_traits/is_convertible.md)`<decltype(`[`get`](/reference/utility/pair/get.md)`<1>(FWD(u))), T1>`である場合、この関数は`explicit`となる
     - C++23 : [`reference_constructs_from_temporary_v`](/reference/type_traits/reference_constructs_from_temporary.md)`<T0, decltype(`[`get`](/reference/utility/pair/get.md)`<0>(FWD(u)))> ||` [`reference_constructs_from_temporary_v`](/reference/type_traits/reference_constructs_from_temporary.md)`<T1, decltype(`[`get`](/reference/utility/pair/get.md)`<1>(FWD(u)))>`である場合、この関数は削除定義される
 - (11) :
diff --git a/reference/tuple/tuple/op_equal.md b/reference/tuple/tuple/op_equal.md
index b0cb55f2f8..567726a2b3 100644
--- a/reference/tuple/tuple/op_equal.md
+++ b/reference/tuple/tuple/op_equal.md
@@ -31,7 +31,7 @@ namespace std {
     - 2つの[`tuple`](../tuple.md)オブジェクトの要素数が同じであること。（具体的には`sizeof...(TTypes) == sizeof...(UTypes)`であること。）
     - [`tuple`](../tuple.md)の要素`std::`[`get`](get.md)`<i>(t)`と`std::`[`get`](get.md)`<i>(u)`において、すべての要素の比較 `std::`[`get`](get.md)`<i>(t) == std::`[`get`](get.md)`<i>(u)` の比較結果が`bool`に変換可能な型（C++23 以降は[`boolean-testable`](/reference/concepts/boolean-testable.md)を満たせばよい）であること。
 - (2) :
-    - C++23 : 2つの[`tuple-like`](../tuple-like.md)なオブジェクトの要素数が同じであること。（正確には、`sizeof...(TTypes) ==` [`tuple_­size_­v`](../tuple_size.md)`<UTuple>`であること。）
+    - C++23 : 2つの[`tuple-like`](../tuple-like.md)なオブジェクトの要素数が同じであること。（正確には、`sizeof...(TTypes) ==` [`tuple_size_v`](../tuple_size.md)`<UTuple>`であること。）
     - C++23 : [`tuple`](../tuple.md)の要素`std::`[`get`](get.md)`<i>(t)`と[`tuple-like`](../tuple-like.md)なオブジェクトの要素`std::get<i>(u)`において、すべての要素の比較 `std::`[`get`](get.md)`<i>(t) == std::`[`get`](get.md)`<i>(u)` の比較結果が[`boolean-testable`](/reference/concepts/boolean-testable.md)を満たす型（`bool`へ変換可能な型）であること。
 
 
diff --git a/reference/tuple/tuple_cat.md b/reference/tuple/tuple_cat.md
index 1f7f18b28a..5827bea6e3 100644
--- a/reference/tuple/tuple_cat.md
+++ b/reference/tuple/tuple_cat.md
@@ -29,7 +29,7 @@ namespace std {
     - `Args...`の各型が左辺値参照であればコピー構築可能、そうでなければムーブ構築可能であること。
 - C++23から :
     - 本関数の返り値の[`tuple`](tuple.md)のテンプレートパラメーターパックを`Ctypes`とし、`Ctypes`の全ての要素について、引数`tpls`において対応する要素の型から構築可能であること。
-    - より厳密には、次のように定義を行い、`(`[`is_­constructible_v­`](/reference/type_traits/is_constructible.md)`<CTypes, decltype(celems)> && ...) == true`であること。
+    - より厳密には、次のように定義を行い、`(`[`is_constructible_v`](/reference/type_traits/is_constructible.md)`<CTypes, decltype(celems)> && ...) == true`であること。
         - `n`を`sizeof...(Tuples)`とし、`i`を範囲`[0, n)`における整数値とする
         - `T(i)`を`Tuples`の`i`番目とする
         - `U(i)`を[`remove_cvref_t<T(i)>`](/reference/type_traits/remove_cvref.md) とする
diff --git a/reference/type_traits/is_invocable_r.md b/reference/type_traits/is_invocable_r.md
index a5b907ce77..f32c28abaa 100644
--- a/reference/type_traits/is_invocable_r.md
+++ b/reference/type_traits/is_invocable_r.md
@@ -35,11 +35,11 @@ std::is_convertible_v<std::invoke_result_t<F, ArgsTypes...>, R>
 
 // C++23
 std::is_convertible_v<std::invoke_result_t<F, ArgsTypes...>, R> && 
-std::reference_­converts_­from_­temporary_­v<R, std::invoke_result_t<F, ArgsTypes...>> == false
+std::reference_converts_from_temporary_v<R, std::invoke_result_t<F, ArgsTypes...>> == false
 ```
 * std::is_convertible_v[link is_convertible.md]
 * std::invoke_result_t[link invoke_result.md]
-* std::reference_­converts_­from_­temporary_­v[link /reference/type_traits/reference_converts_from_temporary.md]
+* std::reference_converts_from_temporary_v[link /reference/type_traits/reference_converts_from_temporary.md]
 
 
 ## 寿命の延長とダングリング参照
@@ -49,7 +49,7 @@ std::reference_­converts_­from_­temporary_­v<R, std::invoke_result_t<F, Args
 
 `R`が`const T&`または`T&&`で、かつ`S`が`rvalue`であれば、`S`を`R`へ暗黙変換する際に`S`の寿命は`R`の寿命に合わせて延長されることがある。しかしこの場合、`R`は[*INVOKE*](/reference/concepts/Invoke.md)が行われる文を寿命とするので、`S`も同様に[*INVOKE*](/reference/concepts/Invoke.md)が行われる文が終了すると同時に寿命が終了する。参照による寿命の延長は2度適用されることはないため、このような場合には常にダングリング参照が生じてしまう。
 
-これを検出し、不適格とするために[`reference_­converts_­from_­temporary_­v`](/reference/type_traits/reference_converts_from_temporary.md)を使用しているというわけなのである。
+これを検出し、不適格とするために[`reference_converts_from_temporary_v`](/reference/type_traits/reference_converts_from_temporary.md)を使用しているというわけなのである。
 
 ```cpp example
 #include <iostream>
diff --git a/reference/utility/pair/op_assign.md b/reference/utility/pair/op_assign.md
index b7ec890c1e..9c1e433410 100644
--- a/reference/utility/pair/op_assign.md
+++ b/reference/utility/pair/op_assign.md
@@ -66,13 +66,13 @@ template<pair-like P>
 - (9) : 次を全て満たすこと
     - C++23 : [`different-from`](/reference/ranges/different-from.md)`<P, pair>`
     - C++23 : [`remove_cvref_t`](/reference/type_traits/remove_cvref.md)`<P>`が[`ranges::subrange`](/reference/ranges/subrange.md)の特殊化でないこと
-    - C++23 : [`is_­assignable_­v`](/reference/type_traits/is_assignable.md)`<T1&, decltype(get<0>(`[`std​::​forward`](/reference/utility/forward.md)`<P>(p)))>`
-    - C++23 : [`is_­assignable_­v`](/reference/type_traits/is_assignable.md)`<T2&, decltype(get<1>(`[`std​::​forward`](/reference/utility/forward.md)`<P>(p)))>`
+    - C++23 : [`is_assignable_v`](/reference/type_traits/is_assignable.md)`<T1&, decltype(get<0>(`[`std​::​forward`](/reference/utility/forward.md)`<P>(p)))>`
+    - C++23 : [`is_assignable_v`](/reference/type_traits/is_assignable.md)`<T2&, decltype(get<1>(`[`std​::​forward`](/reference/utility/forward.md)`<P>(p)))>`
 - (10) : 次を全て満たすこと
     - C++23 : [`different-from`](/reference/ranges/different-from.md)`<P, pair>`
     - C++23 : [`remove_cvref_t`](/reference/type_traits/remove_cvref.md)`<P>`が[`ranges::subrange`](/reference/ranges/subrange.md)の特殊化でないこと
-    - C++23 : [`is_­assignable_­v`](/reference/type_traits/is_assignable.md)`<const T1&, decltype(get<0>(`[`std​::​forward`](/reference/utility/forward.md)`<P>(p)))>`
-    - C++23 : [`is_­assignable_­v`](/reference/type_traits/is_assignable.md)`<const T2&, decltype(get<1>(`[`std​::​forward`](/reference/utility/forward.md)`<P>(p)))>`
+    - C++23 : [`is_assignable_v`](/reference/type_traits/is_assignable.md)`<const T1&, decltype(get<0>(`[`std​::​forward`](/reference/utility/forward.md)`<P>(p)))>`
+    - C++23 : [`is_assignable_v`](/reference/type_traits/is_assignable.md)`<const T2&, decltype(get<1>(`[`std​::​forward`](/reference/utility/forward.md)`<P>(p)))>`
 
 
 ## 効果
diff --git a/reference/utility/pair/op_constructor.md b/reference/utility/pair/op_constructor.md
index ad0ad1de44..84bb25ebcd 100644
--- a/reference/utility/pair/op_constructor.md
+++ b/reference/utility/pair/op_constructor.md
@@ -116,11 +116,11 @@ constexpr pair(piecewise_construct_t,
     - C++17 : `!`[`is_convertible_v`](/reference/type_traits/is_convertible.md)`<const first_type&, first_type> || !`[`is_convertible_v`](/reference/type_traits/is_convertible.md)`<const second_type&, second_type>`である場合、`explicit`指定される
 - (5) :
     - C++17 : `!`[`is_convertible_v`](/reference/type_traits/is_convertible.md)`<U1, first_type> || !`[`is_convertible_v`](/reference/type_traits/is_convertible.md)`<U2, second_type>`である場合、`explicit`指定される
-    - C++23 : [`reference_­constructs_­from_­temporary_­v`](/reference/type_traits/reference_constructs_from_temporary.md)`<first_­type, U1&&> ||` [`reference_­constructs_­from_­temporary_­v`](/reference/type_traits/reference_constructs_from_temporary.md)`<second_­type, U2&&>`である場合、このコンストラクタは削除定義される
+    - C++23 : [`reference_constructs_from_temporary_v`](/reference/type_traits/reference_constructs_from_temporary.md)`<first_type, U1&&> ||` [`reference_constructs_from_temporary_v`](/reference/type_traits/reference_constructs_from_temporary.md)`<second_type, U2&&>`である場合、このコンストラクタは削除定義される
 - (6)-(10) :
     - `FWD(u)`を`static_cast<deccltype(u)>(u)`と定義して
     - C++23 : `!`[`is_convertible_v`](/reference/type_traits/is_convertible.md)`<decltype(`[`get`](/reference/utility/pair/get.md)`<0>(FWD(p))), T1> || !`[`is_convertible_v`](/reference/type_traits/is_convertible.md)`<decltype(`[`get`](/reference/utility/pair/get.md)`<1>(FWD(p))), T2>`である場合、`explicit`指定される
-    - C++23 : [`reference_­constructs_­from_­temporary_­v`](/reference/type_traits/reference_constructs_from_temporary.md)`<first_­type, decltype(`[`get`](/reference/utility/pair/get.md)`<0>(FWD(p)))> ||` [`reference_­constructs_­from_­temporary_­v`](/reference/type_traits/reference_constructs_from_temporary.md)`<second_­type, decltype(`[`get`](/reference/utility/pair/get.md)`<1>(FWD(p)))>`である場合、このコンストラクタは削除定義される
+    - C++23 : [`reference_constructs_from_temporary_v`](/reference/type_traits/reference_constructs_from_temporary.md)`<first_type, decltype(`[`get`](/reference/utility/pair/get.md)`<0>(FWD(p)))> ||` [`reference_constructs_from_temporary_v`](/reference/type_traits/reference_constructs_from_temporary.md)`<second_type, decltype(`[`get`](/reference/utility/pair/get.md)`<1>(FWD(p)))>`である場合、このコンストラクタは削除定義される
 - (7) :
     - C++17 : `!`[`is_convertible_v`](/reference/type_traits/is_convertible.md)`<const U1&, first_type> || !`[`is_convertible_v`](/reference/type_traits/is_convertible.md)`<const U2&, second_type>`である場合、`explicit`指定される
     - C++23 : (6)-(10) での定義参照