Global Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (3098 entries)
Notation Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (294 entries)
Module Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (28 entries)
Variable Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (397 entries)
Library Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (9 entries)
Lemma Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (1414 entries)
Constructor Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (80 entries)
Axiom Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (7 entries)
Projection Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (35 entries)
Inductive Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (35 entries)
Section Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (135 entries)
Abbreviation Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (84 entries)
Definition Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (555 entries)
Record Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (25 entries)

other

if _ as _ return _ then _ else _ (boolean_if_scope) [notation, in Ssreflect.ssreflect]
if _ then _ else _ (boolean_if_scope) [notation, in Ssreflect.ssreflect]
if _ return _ then _ else _ (boolean_if_scope) [notation, in Ssreflect.ssreflect]
_ != _ :> _ (bool_scope) [notation, in Ssreflect.eqtype]
_ != _ (bool_scope) [notation, in Ssreflect.eqtype]
_ == _ :> _ (bool_scope) [notation, in Ssreflect.eqtype]
_ == _ (bool_scope) [notation, in Ssreflect.eqtype]
_ \proper _ (bool_scope) [notation, in Ssreflect.fintype]
_ \subset _ (bool_scope) [notation, in Ssreflect.fintype]
[ disjoint _ & _ ] (bool_scope) [notation, in Ssreflect.fintype]
_ \i s an _ (bool_scope) [notation, in Ssreflect.ssrbool]
_ \i s a _ (bool_scope) [notation, in Ssreflect.ssrbool]
_ \i s _ (bool_scope) [notation, in Ssreflect.ssrbool]
_ \i n _ (bool_scope) [notation, in Ssreflect.ssrbool]
_ \isn't an _ (bool_scope) [notation, in Ssreflect.ssrbool]
_ \isn't a _ (bool_scope) [notation, in Ssreflect.ssrbool]
_ \isn't _ (bool_scope) [notation, in Ssreflect.ssrbool]
_ \is an _ (bool_scope) [notation, in Ssreflect.ssrbool]
_ \is a _ (bool_scope) [notation, in Ssreflect.ssrbool]
_ \is _ (bool_scope) [notation, in Ssreflect.ssrbool]
_ \notin _ (bool_scope) [notation, in Ssreflect.ssrbool]
_ \in _ (bool_scope) [notation, in Ssreflect.ssrbool]
_ \in _ (bool_scope) [notation, in Ssreflect.ssrbool]
[ ==> _ => _ ] (bool_scope) [notation, in Ssreflect.ssrbool]
[ ==> _ , _ , .. , _ => _ ] (bool_scope) [notation, in Ssreflect.ssrbool]
[ || _ , _ , .. , _ | _ ] (bool_scope) [notation, in Ssreflect.ssrbool]
[ || _ | _ ] (bool_scope) [notation, in Ssreflect.ssrbool]
[ && _ , _ , .. , _ & _ ] (bool_scope) [notation, in Ssreflect.ssrbool]
[ && _ & _ ] (bool_scope) [notation, in Ssreflect.ssrbool]
_ (+) _ (bool_scope) [notation, in Ssreflect.ssrbool]
_ ==> _ (bool_scope) [notation, in Ssreflect.ssrbool]
~~ _ (bool_scope) [notation, in Ssreflect.ssrbool]
_ > _ (coq_nat_scope) [notation, in Ssreflect.ssrnat]
_ >= _ (coq_nat_scope) [notation, in Ssreflect.ssrnat]
_ < _ (coq_nat_scope) [notation, in Ssreflect.ssrnat]
_ <= _ (coq_nat_scope) [notation, in Ssreflect.ssrnat]
_ * _ (coq_nat_scope) [notation, in Ssreflect.ssrnat]
_ - _ (coq_nat_scope) [notation, in Ssreflect.ssrnat]
_ + _ (coq_nat_scope) [notation, in Ssreflect.ssrnat]
_ : Prop (core_scope) [notation, in Ssreflect.ssreflect]
_ : Type (core_scope) [notation, in Ssreflect.ssreflect]
_ : _ (core_scope) [notation, in Ssreflect.ssreflect]
_ =P _ :> _ (eq_scope) [notation, in Ssreflect.eqtype]
_ =P _ (eq_scope) [notation, in Ssreflect.eqtype]
[ subCountType of _ ] (form_scope) [notation, in Ssreflect.choice]
[ countMixin of _ by <: ] (form_scope) [notation, in Ssreflect.choice]
[ choiceMixin of _ by <: ] (form_scope) [notation, in Ssreflect.choice]
[ unlockable fun _ ] (form_scope) [notation, in Ssreflect.ssreflect]
[ unlockable of _ ] (form_scope) [notation, in Ssreflect.ssreflect]
=^~ _ (form_scope) [notation, in Ssreflect.ssreflect]
[ th e _ of _ ] (form_scope) [notation, in Ssreflect.ssreflect]
[ th e _ of _ by _ ] (form_scope) [notation, in Ssreflect.ssreflect]
[ the _ of _ ] (form_scope) [notation, in Ssreflect.ssreflect]
[ the _ of _ by _ ] (form_scope) [notation, in Ssreflect.ssreflect]
[ eqMixin of _ by <: ] (form_scope) [notation, in Ssreflect.eqtype]
[ newType for _ by _ ] (form_scope) [notation, in Ssreflect.eqtype]
[ new Type for _ ] (form_scope) [notation, in Ssreflect.eqtype]
[ newType for _ ] (form_scope) [notation, in Ssreflect.eqtype]
[ subType of _ ] (form_scope) [notation, in Ssreflect.eqtype]
[ subType of _ for _ ] (form_scope) [notation, in Ssreflect.eqtype]
[ subType for _ by _ ] (form_scope) [notation, in Ssreflect.eqtype]
[ sub Type for _ ] (form_scope) [notation, in Ssreflect.eqtype]
[ subType for _ ] (form_scope) [notation, in Ssreflect.eqtype]
[ finMixin of _ by <: ] (form_scope) [notation, in Ssreflect.fintype]
[ subFinType of _ ] (form_scope) [notation, in Ssreflect.fintype]
[ arg max_ ( _ > _ ) _ ] (form_scope) [notation, in Ssreflect.fintype]
[ arg max_ ( _ > _ in _ ) _ ] (form_scope) [notation, in Ssreflect.fintype]
[ arg max_ ( _ > _ | _ ) _ ] (form_scope) [notation, in Ssreflect.fintype]
[ arg min_ ( _ < _ ) _ ] (form_scope) [notation, in Ssreflect.fintype]
[ arg min_ ( _ < _ in _ ) _ ] (form_scope) [notation, in Ssreflect.fintype]
[ arg min_ ( _ < _ | _ ) _ ] (form_scope) [notation, in Ssreflect.fintype]
[ pick _ : _ in _ | _ & _ ] (form_scope) [notation, in Ssreflect.fintype]
[ pick _ in _ | _ & _ ] (form_scope) [notation, in Ssreflect.fintype]
[ pick _ : _ in _ | _ ] (form_scope) [notation, in Ssreflect.fintype]
[ pick _ in _ | _ ] (form_scope) [notation, in Ssreflect.fintype]
[ pick _ : _ in _ ] (form_scope) [notation, in Ssreflect.fintype]
[ pick _ in _ ] (form_scope) [notation, in Ssreflect.fintype]
[ pick _ : _ | _ & _ ] (form_scope) [notation, in Ssreflect.fintype]
[ pick _ | _ & _ ] (form_scope) [notation, in Ssreflect.fintype]
[ pic k _ : _ ] (form_scope) [notation, in Ssreflect.fintype]
[ pick _ ] (form_scope) [notation, in Ssreflect.fintype]
[ pick _ : _ | _ ] (form_scope) [notation, in Ssreflect.fintype]
[ pick _ | _ ] (form_scope) [notation, in Ssreflect.fintype]
[ qualify an _ : _ | _ ] (form_scope) [notation, in Ssreflect.ssrbool]
[ qualify an _ | _ ] (form_scope) [notation, in Ssreflect.ssrbool]
[ qualify a _ : _ | _ ] (form_scope) [notation, in Ssreflect.ssrbool]
[ qualify a _ | _ ] (form_scope) [notation, in Ssreflect.ssrbool]
[ qualify _ : _ | _ ] (form_scope) [notation, in Ssreflect.ssrbool]
[ qualify _ | _ ] (form_scope) [notation, in Ssreflect.ssrbool]
[ predType of _ ] (form_scope) [notation, in Ssreflect.ssrbool]
@ idfun _ (fun_scope) [notation, in Ssreflect.ssrfun]
@ id _ (fun_scope) [notation, in Ssreflect.ssrfun]
fun => _ (fun_scope) [notation, in Ssreflect.ssrfun]
[ eta _ ] (fun_scope) [notation, in Ssreflect.ssrfun]
_ \; _ (fun_scope) [notation, in Ssreflect.ssrfun]
_ \o _ (fun_scope) [notation, in Ssreflect.ssrfun]
_ =2 _ :> _ (fun_scope) [notation, in Ssreflect.ssrfun]
_ =2 _ (fun_scope) [notation, in Ssreflect.ssrfun]
_ =1 _ :> _ (fun_scope) [notation, in Ssreflect.ssrfun]
_ =1 _ (fun_scope) [notation, in Ssreflect.ssrfun]
[ fun ( _ : _ ) ( _ : _ ) => _ ] (fun_scope) [notation, in Ssreflect.ssrfun]
[ fun _ ( _ : _ ) => _ ] (fun_scope) [notation, in Ssreflect.ssrfun]
[ fun ( _ : _ ) _ => _ ] (fun_scope) [notation, in Ssreflect.ssrfun]
[ fun _ _ : _ => _ ] (fun_scope) [notation, in Ssreflect.ssrfun]
[ fun _ _ => _ ] (fun_scope) [notation, in Ssreflect.ssrfun]
[ fun _ : _ => _ ] (fun_scope) [notation, in Ssreflect.ssrfun]
[ fun _ => _ ] (fun_scope) [notation, in Ssreflect.ssrfun]
[ fun : _ => _ ] (fun_scope) [notation, in Ssreflect.ssrfun]
@^~ _ (fun_scope) [notation, in Ssreflect.ssrfun]
_ ^~ _ (fun_scope) [notation, in Ssreflect.ssrfun]
[ predX _ & _ ] (fun_scope) [notation, in Ssreflect.eqtype]
[ eta _ with _ , .. , _ ] (fun_scope) [notation, in Ssreflect.eqtype]
[ fun _ => _ with _ , .. , _ ] (fun_scope) [notation, in Ssreflect.eqtype]
[ fun _ : _ => _ with _ , .. , _ ] (fun_scope) [notation, in Ssreflect.eqtype]
_ |-> _ (fun_delta_scope) [notation, in Ssreflect.eqtype]
[ predD1 _ & _ ] (fun_scope) [notation, in Ssreflect.eqtype]
[ predU1 _ & _ ] (fun_scope) [notation, in Ssreflect.eqtype]
[ rel _ _ in _ ] (fun_scope) [notation, in Ssreflect.ssrbool]
[ rel _ _ in _ | _ ] (fun_scope) [notation, in Ssreflect.ssrbool]
[ rel _ _ in _ & _ ] (fun_scope) [notation, in Ssreflect.ssrbool]
[ rel _ _ in _ & _ | _ ] (fun_scope) [notation, in Ssreflect.ssrbool]
[ pred _ in _ | _ & _ ] (fun_scope) [notation, in Ssreflect.ssrbool]
[ pred _ in _ | _ ] (fun_scope) [notation, in Ssreflect.ssrbool]
[ pred _ in _ ] (fun_scope) [notation, in Ssreflect.ssrbool]
[ preim _ of _ ] (fun_scope) [notation, in Ssreflect.ssrbool]
[ predC _ ] (fun_scope) [notation, in Ssreflect.ssrbool]
[ predD _ & _ ] (fun_scope) [notation, in Ssreflect.ssrbool]
[ predU _ & _ ] (fun_scope) [notation, in Ssreflect.ssrbool]
[ predI _ & _ ] (fun_scope) [notation, in Ssreflect.ssrbool]
[ rel of _ ] (fun_scope) [notation, in Ssreflect.ssrbool]
[ mem _ ] (fun_scope) [notation, in Ssreflect.ssrbool]
[ rel _ _ : _ | _ ] (fun_scope) [notation, in Ssreflect.ssrbool]
[ rel _ _ | _ ] (fun_scope) [notation, in Ssreflect.ssrbool]
[ pred _ : _ | _ & _ ] (fun_scope) [notation, in Ssreflect.ssrbool]
[ pred _ : _ | _ ] (fun_scope) [notation, in Ssreflect.ssrbool]
[ pred _ | _ & _ ] (fun_scope) [notation, in Ssreflect.ssrbool]
[ pred _ | _ ] (fun_scope) [notation, in Ssreflect.ssrbool]
[ pred : _ | _ ] (fun_scope) [notation, in Ssreflect.ssrbool]
if _ as _ return _ then _ else _ (general_if_scope) [notation, in Ssreflect.ssreflect]
if _ return _ then _ else _ (general_if_scope) [notation, in Ssreflect.ssreflect]
if _ then _ else _ (general_if_scope) [notation, in Ssreflect.ssreflect]
[ Num of _ ] (nat_scope) [notation, in Ssreflect.ssrnat]
_ <= _ ?= iff _ (nat_scope) [notation, in Ssreflect.ssrnat]
_ ./2 (nat_scope) [notation, in Ssreflect.ssrnat]
_ .*2 (nat_scope) [notation, in Ssreflect.ssrnat]
_ .*2 (nat_rec_scope) [notation, in Ssreflect.ssrnat]
_ `! (nat_scope) [notation, in Ssreflect.ssrnat]
_ ^ _ (nat_scope) [notation, in Ssreflect.ssrnat]
_ ^ _ (nat_rec_scope) [notation, in Ssreflect.ssrnat]
_ * _ (nat_scope) [notation, in Ssreflect.ssrnat]
_ * _ (nat_rec_scope) [notation, in Ssreflect.ssrnat]
_ < _ < _ (nat_scope) [notation, in Ssreflect.ssrnat]
_ <= _ < _ (nat_scope) [notation, in Ssreflect.ssrnat]
_ < _ <= _ (nat_scope) [notation, in Ssreflect.ssrnat]
_ <= _ <= _ (nat_scope) [notation, in Ssreflect.ssrnat]
_ > _ (nat_scope) [notation, in Ssreflect.ssrnat]
_ >= _ (nat_scope) [notation, in Ssreflect.ssrnat]
_ < _ (nat_scope) [notation, in Ssreflect.ssrnat]
_ <= _ (nat_scope) [notation, in Ssreflect.ssrnat]
_ - _ (nat_scope) [notation, in Ssreflect.ssrnat]
_ - _ (nat_rec_scope) [notation, in Ssreflect.ssrnat]
_ + _ (nat_scope) [notation, in Ssreflect.ssrnat]
_ + _ (nat_rec_scope) [notation, in Ssreflect.ssrnat]
_ .-2 (nat_scope) [notation, in Ssreflect.ssrnat]
_ .-1 (nat_scope) [notation, in Ssreflect.ssrnat]
_ .+4 (nat_scope) [notation, in Ssreflect.ssrnat]
_ .+3 (nat_scope) [notation, in Ssreflect.ssrnat]
_ .+2 (nat_scope) [notation, in Ssreflect.ssrnat]
_ .+1 (nat_scope) [notation, in Ssreflect.ssrnat]
#| _ | (nat_scope) [notation, in Ssreflect.fintype]
_ .2 (pair_scope) [notation, in Ssreflect.ssrfun]
_ .1 (pair_scope) [notation, in Ssreflect.ssrfun]
[ seq _ | _ : _ <- _ , _ : _ <- _ ] (seq_scope) [notation, in Ssreflect.seq]
[ seq _ | _ <- _ , _ <- _ ] (seq_scope) [notation, in Ssreflect.seq]
[ seq _ | _ : _ <- _ & _ ] (seq_scope) [notation, in Ssreflect.seq]
[ seq _ | _ : _ <- _ ] (seq_scope) [notation, in Ssreflect.seq]
[ seq _ | _ <- _ & _ ] (seq_scope) [notation, in Ssreflect.seq]
[ seq _ | _ <- _ ] (seq_scope) [notation, in Ssreflect.seq]
[ seq _ <- _ | _ & _ ] (seq_scope) [notation, in Ssreflect.seq]
[ seq _ <- _ | _ ] (seq_scope) [notation, in Ssreflect.seq]
_ ++ _ (seq_scope) [notation, in Ssreflect.seq]
[ :: _ ; _ ; .. ; _ ] (seq_scope) [notation, in Ssreflect.seq]
[ :: _ , _ , .. , _ & _ ] (seq_scope) [notation, in Ssreflect.seq]
[ :: _ & _ ] (seq_scope) [notation, in Ssreflect.seq]
[ :: _ ] (seq_scope) [notation, in Ssreflect.seq]
[ :: ] (seq_scope) [notation, in Ssreflect.seq]
_ :: _ (seq_scope) [notation, in Ssreflect.seq]
[ seq _ , _ ] (seq_scope) [notation, in Ssreflect.fintype]
[ seq _ | _ : _ ] (seq_scope) [notation, in Ssreflect.fintype]
[ seq _ | _ : _ in _ ] (seq_scope) [notation, in Ssreflect.fintype]
[ seq _ | _ in _ ] (seq_scope) [notation, in Ssreflect.fintype]
{ type of _ for _ } (type_scope) [notation, in Ssreflect.ssreflect]
{ mono _ : _ _ /~ _ } (type_scope) [notation, in Ssreflect.ssrfun]
{ mono _ : _ _ / _ } (type_scope) [notation, in Ssreflect.ssrfun]
{ mono _ : _ _ / _ >-> _ } (type_scope) [notation, in Ssreflect.ssrfun]
{ mono _ : _ / _ } (type_scope) [notation, in Ssreflect.ssrfun]
{ mono _ : _ / _ >-> _ } (type_scope) [notation, in Ssreflect.ssrfun]
{ homo _ : _ _ /~ _ } (type_scope) [notation, in Ssreflect.ssrfun]
{ homo _ : _ _ / _ } (type_scope) [notation, in Ssreflect.ssrfun]
{ homo _ : _ _ / _ >-> _ } (type_scope) [notation, in Ssreflect.ssrfun]
{ homo _ : _ / _ } (type_scope) [notation, in Ssreflect.ssrfun]
{ homo _ : _ / _ >-> _ } (type_scope) [notation, in Ssreflect.ssrfun]
{ morph _ : _ _ / _ } (type_scope) [notation, in Ssreflect.ssrfun]
{ morph _ : _ _ / _ >-> _ } (type_scope) [notation, in Ssreflect.ssrfun]
{ morph _ : _ / _ } (type_scope) [notation, in Ssreflect.ssrfun]
{ morph _ : _ / _ >-> _ } (type_scope) [notation, in Ssreflect.ssrfun]
{ ? _ in _ | _ } (type_scope) [notation, in Ssreflect.eqtype]
{ ? _ in _ } (type_scope) [notation, in Ssreflect.eqtype]
{ ? _ | _ } (type_scope) [notation, in Ssreflect.eqtype]
{ ? _ : _ | _ } (type_scope) [notation, in Ssreflect.eqtype]
{ _ in _ | _ } (type_scope) [notation, in Ssreflect.eqtype]
{ _ in _ } (type_scope) [notation, in Ssreflect.eqtype]
{ on _ , bijective _ } (type_scope) [notation, in Ssreflect.ssrbool]
{ in _ , bijective _ } (type_scope) [notation, in Ssreflect.ssrbool]
{ on _ , _ & _ } (type_scope) [notation, in Ssreflect.ssrbool]
{ on _ & , _ } (type_scope) [notation, in Ssreflect.ssrbool]
{ on _ , _ } (type_scope) [notation, in Ssreflect.ssrbool]
{ in _ & & , _ } (type_scope) [notation, in Ssreflect.ssrbool]
{ in _ & _ & , _ } (type_scope) [notation, in Ssreflect.ssrbool]
{ in _ & & _ , _ } (type_scope) [notation, in Ssreflect.ssrbool]
{ in _ & _ & _ , _ } (type_scope) [notation, in Ssreflect.ssrbool]
{ in _ & , _ } (type_scope) [notation, in Ssreflect.ssrbool]
{ in _ & _ , _ } (type_scope) [notation, in Ssreflect.ssrbool]
{ in _ , _ } (type_scope) [notation, in Ssreflect.ssrbool]
{ for _ , _ } (type_scope) [notation, in Ssreflect.ssrbool]
{ subset _ <= _ } (type_scope) [notation, in Ssreflect.ssrbool]
_ =i _ (type_scope) [notation, in Ssreflect.ssrbool]
{ : _ } (type_scope) [notation, in Ssreflect.ssrbool]
[ \/ _ , _ , _ | _ ] (type_scope) [notation, in Ssreflect.ssrbool]
[ \/ _ , _ | _ ] (type_scope) [notation, in Ssreflect.ssrbool]
[ \/ _ | _ ] (type_scope) [notation, in Ssreflect.ssrbool]
[ /\ _ , _ , _ , _ & _ ] (type_scope) [notation, in Ssreflect.ssrbool]
[ /\ _ , _ , _ & _ ] (type_scope) [notation, in Ssreflect.ssrbool]
[ /\ _ , _ & _ ] (type_scope) [notation, in Ssreflect.ssrbool]
[ /\ _ & _ ] (type_scope) [notation, in Ssreflect.ssrbool]
_ (* _ *) [notation, in Ssreflect.ssreflect]
'exists_ _ [notation, in Ssreflect.fintype]
'forall_ _ [notation, in Ssreflect.fintype]
'I_ _ [notation, in Ssreflect.fintype]
[notation, in Ssreflect.ssreflect]
@ sval [notation, in Ssreflect.ssrfun]
@ comp [notation, in Ssreflect.ssrfun]
@ sval [notation, in Ssreflect.eqtype]
[ seq _ : _ <- _ | _ & _ ] [notation, in Ssreflect.seq]
[ seq _ : _ <- _ | _ ] [notation, in Ssreflect.seq]
[ pick _ : _ ] [notation, in Ssreflect.fintype]
{ all3 _ } [notation, in Ssreflect.ssrbool]
{ all2 _ } [notation, in Ssreflect.ssrbool]
{ all1 _ } [notation, in Ssreflect.ssrbool]



Global Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (3098 entries)
Notation Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (294 entries)
Module Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (28 entries)
Variable Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (397 entries)
Library Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (9 entries)
Lemma Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (1414 entries)
Constructor Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (80 entries)
Axiom Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (7 entries)
Projection Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (35 entries)
Inductive Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (35 entries)
Section Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (135 entries)
Abbreviation Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (84 entries)
Definition Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (555 entries)
Record Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (25 entries)