Overview
∀ (read as the universal quantifier symbol) is a high-energy BMS-origin track by the artist ああああ (aaaa), first introduced to audiences through BOFXVII, the 17th iteration of the BMS of Fighters competition. The song was later brought into the maimai arcade rhythm game series as part of the DX PRiSM PLUS update on August 1, 2025, under the ゲーム＆バラエティ (Game & Variety) category. Clocking in at a brisk 245 BPM, the track pairs its relentless tempo with a distinctive visual identity: the title is rendered solely as the mathematical for-all symbol ∀, and the jacket art and BGA carry a cryptic, abstract aesthetic. In maimai, the song features DX-style charts across four difficulties. The Expert chart (Lv 11+, constant 11.6) was designed by Luxizhel, while the Master chart (Lv 14, constant 14.3) was crafted by サファ太 (Safata). The Master chart's 670 total notes include a notably high count of Slide (56) and Touch (49) notes for its level, reflecting the PRiSM-era design philosophy of integrating touch-screen patterns with traditional rhythm-game inputs.
Videos
Charts
DX
BASIC
6(6)
225 notesDesigner: -|Tap 195Hold 17Slide 4Touch 8Break 1
ADVANCED
8(8)
363 notesDesigner: -|Tap 335Hold 8Slide 9Touch 9Break 2
EXPERT
11+(11.6)
488 notesDesigner: Luxizhel|Tap 378Hold 42Slide 30Touch 9Break 29
MASTER
14(14.3)
670 notesDesigner: サファ太|Tap 474Hold 61Slide 56Touch 49Break 30
Trivia
- ∀ originated as an entry in BOFXVII (BMS of Fighters XVII), one of the largest annual BMS composition competitions in the doujin music scene. The song's official YouTube upload carries the tag 「【BOFXVII】ああああ - ∀【BGA】」, confirming its BMS competition roots.
- The song title ∀ is the Unicode universal quantifier symbol (U+2200), used in mathematical logic to mean 'for all'. This unconventional naming choice continues a tradition of artists in the BMS scene using symbols, special characters, and abstract concepts as track titles.
- The artist name ああああ consists of the hiragana character あ (a) repeated four times, reading as 'aaaa'. This minimalist pseudonym is a known handle in the BMS and doujin music community.
- With a BPM of 245, ∀ is among the faster tracks in the maimai DX PRiSM PLUS library, placing it in the upper range of high-tempo rhythm-game fare.
- The Master chart (Lv 14, constant 14.3) contains 670 notes with an unusual distribution: 49 Touch notes and 56 Slide notes, making it a chart that demands both touch-panel accuracy and fluid slide motion from the player.
- Both chart designers, Luxizhel (Expert) and サファ太 / Safata (Master), are established note designers in the maimai series, each known for distinctive charting approaches in the PRiSM era.
FAQ
- What is the song ∀ in maimai?
- ∀ (the universal quantifier symbol) is a BMS-origin track by the artist ああああ (aaaa), added to maimai DX PRiSM PLUS on August 1, 2025. It features four DX-style charts spanning Basic through Master difficulty.
- Who composed ∀?
- The song ∀ was composed by the artist ああああ (aaaa), a creator active in the BMS (Be-Music Source) doujin scene. The track originally debuted at BOFXVII (BMS of Fighters XVII).
- What BPM is ∀ in maimai?
- ∀ has a BPM of 245, making it one of the faster tracks in the maimai DX PRiSM PLUS song library.
- When was ∀ added to maimai?
- ∀ was added to maimai on August 1, 2025, as part of the DX PRiSM PLUS update. It is available in all regions (Japan, International, and USA).
- What difficulty is the Master chart of ∀?
- The Master chart of ∀ is rated Level 14 with a difficulty constant of 14.3. It contains 670 total notes and was designed by サファ太 (Safata).
- Who designed the charts for ∀ in maimai?
- The Expert chart was designed by Luxizhel and the Master chart was designed by サファ太 (Safata). Basic and Advanced charts do not have credited designers.
- What does the ∀ symbol mean as a song title?
- ∀ is the universal quantifier symbol from mathematical logic, read as 'for all'. It was chosen by the artist ああああ as the title for their BOFXVII entry, which was later ported to maimai.
Related Songs
NO ONE YES MAN
MYUKKE.
37+1213+
PRiSM+ (彩)
Leave All Behind
rider
361113+
PRiSM+ (彩)
Retribution ～ Cycle of Redemption ～
Ardolf vs. Daily天利 (原曲： nm-y & Kry.exe)
681314
PRiSM+ (彩)
Luminescence
米虾Fomiki & 初云CLoudie
47+1113+
PRiSM+ (彩)
Pixel Galaxy
Snail's House
379+13
PRiSM+ (彩)
MYTH Re：LEASE
打打だいず Vs. Tanchiky Vs. uma Vs. モリモリあつし
6812+14
PRiSM+ (彩)
Destined Marionette
ビートまりお
481214
PRiSM+ (彩)
Overjoy ★ OVERDOSE!!
Luna Fozer (BilliumMoto, 黒皇帝, Sobrem feat. vally.exe)
47+1114
PRiSM+ (彩)